{"entities":{"Q3977996":{"pageid":6007890,"ns":120,"title":"Item:Q3977996","lastrevid":47043154,"modified":"2025-12-31T11:56:32Z","type":"item","id":"Q3977996","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 13470"}},"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":"Q3977996$A34105D8-35B4-460E-89FE-7F849502CE73","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c64d1c3e46cc93bafcddd5874a9ac3c62b370bd","datavalue":{"value":"0771.68086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3977996$881E2570-CC3A-4415-B37E-2EAA9BE41A1F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"52c3405d17a3159f7638d707f5a87560ed81c9c3","datavalue":{"value":{"entity-type":"item","numeric-id":811130,"id":"Q811130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3977996$8C0390B5-BC73-403D-9652-D9DA43512A2C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3977996$EF578E85-AC45-4214-AD67-BDBDA0C57E8C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3977996$674D80CD-84ED-476D-8603-F89D17D7E0D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3977996$AB25632F-5FEE-4398-A4BD-D3B3395AA863","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c8879a02f0b10843eea04c1a8f24e218aeae86f6","datavalue":{"value":"13470","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3977996$87B7EDA3-9440-4E20-8868-3957939938DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"905927e9217e5376753c6da03d9967873a6056e1","datavalue":{"value":"software specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3977996$2E41FE04-24D3-420E-9159-12E7DBECCD15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ff93fcab863d9a2d7b61f398ca8507531735efa","datavalue":{"value":"software verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3977996$E298814E-2E18-4B85-AE61-DE4B0347800A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8241f7b74cda1977afc141cc1c92cd7c5a95db0","datavalue":{"value":"software development","type":"string"},"datatype":"string"},"type":"statement","id":"Q3977996$208F4A5C-094D-4DAB-8104-775760E8FCCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bba5629de901d39c817906999dc0dc1572cb58bd","datavalue":{"value":"three-valued propositional and predicate calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q3977996$F2D23C64-72BF-45A2-86A3-538C84D3C551","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3977996$46660FA6-F858-45D4-BAF8-A59D13D3C45F","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":"Q3977996$CF7A67A4-741D-4444-9305-3E7DFEA2A730","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bee43b6b2a00ca1b90e69a6e583bd200a5f62099","datavalue":{"value":{"entity-type":"item","numeric-id":4275696,"id":"Q4275696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1cba8488c7086efdead0253220e11aa394a40d6","datavalue":{"value":{"amount":"+0.8702790141105652","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":"Q3977996$75827CC8-86B8-4C91-83C2-5BA438DFF434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da0a28387918989a7a4fec9c5dbc834095dd29be","datavalue":{"value":{"entity-type":"item","numeric-id":3786473,"id":"Q3786473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1cba8488c7086efdead0253220e11aa394a40d6","datavalue":{"value":{"amount":"+0.8702790141105652","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":"Q3977996$2C621B38-0C8D-4605-9798-5D983EF07AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ed2c35b24dd9a94d60f228ccf132022a4f51a02","datavalue":{"value":{"entity-type":"item","numeric-id":3977997,"id":"Q3977997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce27add67b26c70cf9d9c9620231dd40bb929fe1","datavalue":{"value":{"amount":"+0.8673856854438782","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":"Q3977996$3C259ABC-8E90-4664-860F-9367E2799EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52674fa6fe68f2084037b5b78f4e5e5399ac0988","datavalue":{"value":{"entity-type":"item","numeric-id":3336678,"id":"Q3336678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1752fc1ce9d70ea620950ae363f8c85d5e403fe2","datavalue":{"value":{"amount":"+0.8673855066299438","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":"Q3977996$F52CB406-C46B-45B8-B24A-0AB76336AE24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1903b408c3c4f33e130d4ae6a653414938c10b1","datavalue":{"value":{"entity-type":"item","numeric-id":4035250,"id":"Q4035250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f41ade287d39e030773c65ceb4caa8f4f51fd3e0","datavalue":{"value":{"amount":"+0.829757809638977","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":"Q3977996$004993D8-1D2E-4DC6-BDA8-44BA70F776FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3977996","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3977996"}}}}}