{"entities":{"Q4012874":{"pageid":6042670,"ns":120,"title":"Item:Q4012874","lastrevid":55180072,"modified":"2026-02-04T12:17:34Z","type":"item","id":"Q4012874","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 65526"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4012874$441CE279-7DF4-4ABA-8E85-7431A2901776","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ef1b509169a36873134ec594b10f4fc594826e7b","datavalue":{"value":"0756.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012874$59841AB1-37E5-41EF-B3B9-741A28A3ED0E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"828127614e1e8bf8a1bb479b3284a4822ec68a2f","datavalue":{"value":{"entity-type":"item","numeric-id":636294,"id":"Q636294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4012874$B8F40624-2E3E-423E-BF8D-2229D8851A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99649d22c83bcabc57587ca323d8e7c95e4995a6","datavalue":{"value":{"entity-type":"item","numeric-id":582626,"id":"Q582626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4012874$C134866E-E843-4D05-A364-73FB46E18175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6cbac4d6f1bc2eaa5fa96e72d560d8dc56d2bf3e","datavalue":{"value":{"entity-type":"item","numeric-id":2639841,"id":"Q2639841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4012874$46FF0C57-3B53-445C-B08E-105DFB54ADB9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4012874$B4F44CA7-6960-4EDB-A6FC-98D08B21F498","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012874$A94298AC-CB47-442D-BCFF-DD8577A42BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012874$29A4F502-C84F-4848-BCC9-A36691A0DA1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012874$42CD6A12-63E2-498D-B599-59AF22D8DFD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012874$0718130A-D401-401F-8326-14C0E12ABE0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8724ac1f861fd4485a474d1844744a1ace24834","datavalue":{"value":"03-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012874$9F9E1843-871C-4173-87A7-68CD62D31A9F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76c6306483290afeb799f9133556ca7d38732032","datavalue":{"value":"65526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012874$34AC042C-BAA1-4CC0-9C00-09AE2191F901","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cfe0aebc2f058ae5778147e5f8ac172089aa84b","datavalue":{"value":"logical theory of construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012874$3EB58338-9A2C-44C0-9A43-CB784264476B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"966f5a04fb1b951da42665c4596d48c2cd794d8e","datavalue":{"value":"Martin-L\u00f6f type theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012874$F52F1162-4A38-4E0F-BE4D-9E05F2E3E50F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f8d05cf57771015ca2fa5f9b5cccda9f153ad60","datavalue":{"value":"LTC theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012874$7EC4860F-B58C-4F94-8602-838F8646BB94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6425fa78d1b903c0370e9ae42c60b472bb84ca54","datavalue":{"value":"generic theorem prover Isabelle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012874$21ED7A72-9878-4A9A-8206-3BE25C75E62B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1346986981870dd0e29d01ae13717050a695d7f3","datavalue":{"value":"LTC framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012874$A4C0A041-E262-4C41-A378-ED1B9122BA8D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4012874$8191058B-FB5C-409D-9B68-70235DDFC670","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4012874$B2BE9DC8-ED72-45DB-BB2A-39ABA6A70AFA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"027e66e493294de396e3f06701b232a3660c5eaa","datavalue":{"value":{"entity-type":"item","numeric-id":1823013,"id":"Q1823013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59cb605335f7889854f097d195b10aa1843815e2","datavalue":{"value":{"amount":"+0.8069844841957092","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4012874$A45A9DDD-5B90-4016-9427-CC2DCB82DA4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef914c5d16ae991870856bd539a5283395a477b7","datavalue":{"value":{"entity-type":"item","numeric-id":3543647,"id":"Q3543647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f99fd9b6ff01df9bb0c4742653d13348153d25c8","datavalue":{"value":{"amount":"+0.8054585456848145","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4012874$16A55BFF-CBB9-4071-A185-328FEC306827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"619d07d39ad50d8b9a4d0bfcd8121f291b2fc77d","datavalue":{"value":{"entity-type":"item","numeric-id":4364537,"id":"Q4364537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1511c23d506e19b8f9302a55ffa82ec67db64f8b","datavalue":{"value":{"amount":"+0.744038462638855","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4012874$238250FF-7E7C-4A27-A222-A123BB309534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c62c088cec7687b1ce357dc6e45c09b92cc3a17","datavalue":{"value":{"entity-type":"item","numeric-id":5883738,"id":"Q5883738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"035bf063baf2d251e0bc9c73d77148d7d55be2bd","datavalue":{"value":{"amount":"+0.7365114092826843","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4012874$6E9B6F0A-9B30-4ED4-BF38-2DCF75068746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b215bf34512acd6bcf522fcb8600bc4a72a5aa95","datavalue":{"value":{"entity-type":"item","numeric-id":4289277,"id":"Q4289277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"601ff510dc0b33dc771cb1fa4d2f9ec5adc2235c","datavalue":{"value":{"amount":"+0.7352645993232727","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4012874$F3D9DA92-67DC-403D-B913-5FC067C85F28","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4012874","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4012874"}}}}}