{"entities":{"Q4000090":{"pageid":6029919,"ns":120,"title":"Item:Q4000090","lastrevid":55142362,"modified":"2026-02-04T02:00:01Z","type":"item","id":"Q4000090","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 50432"}},"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":"Q4000090$D1BCD4B5-286F-42F3-A181-9F1B13FF2808","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b91fb118c9b5eef34229d9ecbc48fac95cd1f22","datavalue":{"value":"0826.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4000090$5BD630B6-BBDD-4215-9B5E-549DD57E6132","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"026ef29a9218f9ada22808efb6dc7544bd6e169c","datavalue":{"value":{"entity-type":"item","numeric-id":299406,"id":"Q299406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4000090$D48523C8-0969-44E9-AB02-ADCBF5429FC1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a36a1bb338826b5fff6c870b4eb6d68a03b885b9","datavalue":{"value":{"time":"+1992-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4000090$46A435BA-D10F-4DAB-A86F-0AC1D68E345C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4000090$D6A8F464-7248-433C-8078-1B271EF2E460","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"97b954945c59d6235b146f6f1df77d20c3468d8f","datavalue":{"value":"50432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4000090$3157DDA9-12EC-4C63-A74B-3DD31D7F570B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4000090$7B6D36A1-0181-4859-B255-88EEB7E73437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4000090$DEFA20DA-89D6-4175-96E2-D397680EA9D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4000090$6152837C-FB7D-4524-B29E-AB1D07D70A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ea74009f3e6aaad2fb0fc06728d00ab11f397c","datavalue":{"value":"predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4000090$4B9BFBDA-57A1-4618-BB29-D47B81E758C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08adad6cd898e7c7d897e7197186a448e1e0c067","datavalue":{"value":"semantic tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q4000090$724840C5-6A53-4E5B-B33E-AF3703BD5798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4000090$3C57680C-6065-45CD-8235-C6154E6C4B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4000090$66946CCE-2CB9-4475-B7B6-FFFA5800860F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4000090$373B0A80-DD7D-4DD6-B90B-0F03B903B5ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4000090$77DE8BFF-FE63-4164-9D49-C5BE1582720F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4000090$9532A57E-9D0C-4D72-B761-DA7299B85083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4000090$E28C1F16-FEEE-4377-8EA6-96A769C3B21A","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":"Q4000090$E1C4DB18-D02B-49EB-A326-D0215C0F2388","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff8ee2c480514c1531e1e20fdb637a2dff2abbd3","datavalue":{"value":{"entity-type":"item","numeric-id":3186118,"id":"Q3186118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e86a1b35d2d25a127e89f0d5f3a800fd27ff194","datavalue":{"value":{"amount":"+0.8386215567588806","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":"Q4000090$B4F8112D-2224-4F58-8165-AF09DCC57937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f39a56e03732b4946c9b2c2f09777d208c44b60","datavalue":{"value":{"entity-type":"item","numeric-id":4239317,"id":"Q4239317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ab6b8b3b80bf4fd6c677b5091da46bdd273107f","datavalue":{"value":{"amount":"+0.8345524668693542","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":"Q4000090$3DF70A60-A03A-40F6-BF5D-94D59FBB65AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74124cf83a54b86c83bb4d0f7f3169edefd9c469","datavalue":{"value":{"entity-type":"item","numeric-id":5403635,"id":"Q5403635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e478299a43fceb284af71b1929ac76fdc395d6a3","datavalue":{"value":{"amount":"+0.831357479095459","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":"Q4000090$87625C66-62B9-4996-A878-BE2B0AF13B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45f62bbe79ace320b8f4d4db960e0c746c62dadc","datavalue":{"value":{"entity-type":"item","numeric-id":3996610,"id":"Q3996610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd9127946e17a9f846a154f4a10dca62698a5eac","datavalue":{"value":{"amount":"+0.8302115201950073","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":"Q4000090$C622ED2E-A77A-43AC-B4E0-150D3A847762","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4000090","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4000090"}}}}}