{"entities":{"Q3977997":{"pageid":6007891,"ns":120,"title":"Item:Q3977997","lastrevid":47043160,"modified":"2025-12-31T11:56:33Z","type":"item","id":"Q3977997","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 13471"}},"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":"Q3977997$4E520B47-246E-4A56-BCD4-A18E32EC12D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6efd8f6193fe680133052b9209c7bbbf28cd5048","datavalue":{"value":"0771.68087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3977997$51DA5A9E-FF7A-44A8-8996-9C27CFA26035","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffa73845da6faeb3595ac4dea6415bdc68ae4978","datavalue":{"value":{"entity-type":"item","numeric-id":229730,"id":"Q229730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3977997$7FA745EA-7CE6-4AA4-8DB9-0EF1113E3BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"64bfbfd1114669cfc61de475a2c16b2597ff379c","datavalue":{"value":{"entity-type":"item","numeric-id":610396,"id":"Q610396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3977997$5B2E1C37-2ADD-4D12-BC53-D52CE49433E0","rank":"normal"},{"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":"Q3977997$A651B258-935C-4D46-A147-548007B8EBA5","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":"Q3977997$EA7C32D2-C401-4772-B412-CEAA8179C0E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3977997$644ED7B5-C1F3-4775-9219-BCACF95E4FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3977997$8504462A-791F-44AD-AD06-82BDCFF4D368","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e79cdc6881ea52bdfd192b76c457af64398574a","datavalue":{"value":"13471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3977997$833753EB-51F8-43B5-9788-9BA327B42419","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ff93fcab863d9a2d7b61f398ca8507531735efa","datavalue":{"value":"software verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3977997$23927CD2-250E-4C73-807D-9E3138435983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8241f7b74cda1977afc141cc1c92cd7c5a95db0","datavalue":{"value":"software development","type":"string"},"datatype":"string"},"type":"statement","id":"Q3977997$31A8511F-0F85-464C-97E2-C45534911A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe9774c3f67d416a6c8463ab2f991bf6eb18e479","datavalue":{"value":"three-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3977997$8AF4A14B-6496-4BC4-B25D-E3A3D4B686B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3a7a3cfe51cdc6dbe5cc01f4a0ace40c1581081","datavalue":{"value":"strong validity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3977997$3D725F51-1F58-4CF0-8485-7345E89FA535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b14e2ea6940f89ce8d4c17d629c5e674fc50c8c9","datavalue":{"value":"weak validity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3977997$DD40C7D3-3793-4F8C-B7AD-B49EF8CA1BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02d74f8f80aa3cc1e628ba0e4018196da7afb612","datavalue":{"value":"deductive system of inference rules for a three- valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3977997$6449F735-09EF-480E-B2D5-D789EF1E67F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08adad6cd898e7c7d897e7197186a448e1e0c067","datavalue":{"value":"semantic tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q3977997$5732CBD1-1B19-4D09-9A2D-7DFEC2E65945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccc4c149d8ddc2ada423d838a1926592f474ee99","datavalue":{"value":"Gentzen-style system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3977997$48A34DA8-312C-42A0-A3A0-B50D690BE785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1897ad9dd11634ac94f957c752ca180dc29e9396","datavalue":{"value":"McCarthy's propositional connectives","type":"string"},"datatype":"string"},"type":"statement","id":"Q3977997$CCD29356-B287-4427-9166-6E9225E41BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a04c0333887f5cb3c20b5fca3b4dd1e68ab2c5bc","datavalue":{"value":"Kleene's quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3977997$034EB53A-1423-40E8-9710-1070C8A76B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"905927e9217e5376753c6da03d9967873a6056e1","datavalue":{"value":"software specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3977997$988D2493-A7C4-4D2E-9619-0EFA3D8D16DD","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":"Q3977997$5503190E-7388-4297-93B6-8A0EE2B0EC68","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbb5f70596648a1df165218c193e89ff24dfd3a1","datavalue":{"value":{"entity-type":"item","numeric-id":3977996,"id":"Q3977996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"437e82a1ac798c5b3cfd96d8f01bd70c71663957","datavalue":{"value":{"amount":"+0.8772963285446167","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":"Q3977997$C26BAC5A-0733-42CA-AF2E-D41CBE01A586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4860b701413033cfe1baf6d2679d3eefaffeea2e","datavalue":{"value":{"entity-type":"item","numeric-id":3981456,"id":"Q3981456"},"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":"Q3977997$B7E9C1C3-EBB4-49E5-813B-4264B16C52E5","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":"faba2218b96a3baae15a6dfb75c56ad4448c094f","datavalue":{"value":{"amount":"+0.8480754494667053","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":"Q3977997$66F15479-FDAB-4BB0-B85F-5126510EC3E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0470f39263b18f6f6e64b3037d10f234ba2736aa","datavalue":{"value":{"entity-type":"item","numeric-id":2737176,"id":"Q2737176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c2b14e93ff23b22378111b525d8889848812dfa","datavalue":{"value":{"amount":"+0.8396579623222351","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":"Q3977997$0C0BFF82-49D3-4928-BFE1-7D6BD4D6D131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84bbb944d7bd330bc1afb709ccce74d67d547970","datavalue":{"value":{"entity-type":"item","numeric-id":1277163,"id":"Q1277163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c25cfc8919a3357607f06a86b1d63065189a792","datavalue":{"value":{"amount":"+0.8359701037406921","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":"Q3977997$91D9498E-FF5C-4C2D-84C7-EC987779B5C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3977997","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3977997"}}}}}