{"entities":{"Q3427869":{"pageid":3438572,"ns":120,"title":"Item:Q3427869","lastrevid":50058682,"modified":"2026-01-12T20:21:08Z","type":"item","id":"Q3427869","labels":{"en":{"language":"en","value":"ON A THEOREM PROVER FOR VARIATIONAL LOGIC PROGRAMS WITH FUNCTORS SETU AND SETS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5136747"}},"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":"Q3427869$FD4FEBDE-7AEA-4698-9CD0-119FA16C0063","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ef1eba629940a7cb29ccc8ea9002b994f79f64d","datavalue":{"value":{"text":"ON A THEOREM PROVER FOR VARIATIONAL LOGIC PROGRAMS WITH FUNCTORS SETU AND SETS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3427869$C69830FB-8E93-45E3-BCCE-DBCF729AA863","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0aee01faca3d68ae3053de5a2c38666ae0a91f62","datavalue":{"value":"1113.68365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3427869$15E7940E-0562-4CEF-A7D8-99B212B7E4A7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fdf9ea1ac1f008625ac34fac45c8a43aab167a61","datavalue":{"value":"10.1142/S021848850000006X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3427869$8889817B-9725-4B93-9541-B087F3ABC0C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bfac57953be72782047254dc34924cdd6a80f316","datavalue":{"value":{"entity-type":"item","numeric-id":1797448,"id":"Q1797448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3427869$05D10492-642C-48E0-9FB9-4CC5189A2425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc03425f3d1ca2889b962e24f620896091b840bd","datavalue":{"value":{"entity-type":"item","numeric-id":3427868,"id":"Q3427868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3427869$A2BFCB78-5E57-41BC-8317-2C4AA5E1029B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4360b4e30351d9b5ea4ccf9719e2a288adba69da","datavalue":{"value":{"entity-type":"item","numeric-id":2701902,"id":"Q2701902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3427869$C83E2334-7D79-4C1C-90BC-42DE2574A60E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ef4960c50782e215964c895ec9d00f64c678bd7","datavalue":{"value":{"time":"+2007-03-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":"Q3427869$BDEC239E-6C37-4BA1-AD59-A4BE9C85877A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3427869$A586D0DE-0D17-40CE-9F85-3639ECB10C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3427869$AC6722E6-92BA-4333-A9FC-0139BA786960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f66a3c6f6c4263d812ea49e5394cac6ea83ef9b","datavalue":{"value":"68T37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3427869$F0B3A3DF-A986-46BB-9695-7978E4C4AF8A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75860525810c5d4595ed3d43c4e822415d500ab0","datavalue":{"value":"5136747","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3427869$EC6376CF-C410-4B42-8A44-BF65C3F19C57","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f29a21056659ddd61d90d54babdf84724b9ceb18","datavalue":{"value":"logic program","type":"string"},"datatype":"string"},"type":"statement","id":"Q3427869$AEDA6600-23DF-4DF4-9AC0-C3CBA2E5A471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b58a57960f0b4ee5aa285a45f4ffef489b0ebb8","datavalue":{"value":"null attribute value","type":"string"},"datatype":"string"},"type":"statement","id":"Q3427869$8568A410-0648-4F62-A73F-FC31F5D9410C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bf549142b710f01581b24fd28cbb67614316cd4","datavalue":{"value":"theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q3427869$C1C6BBAB-0764-457E-ABA7-9809F870553A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb02fb2f591f44bf543478e7736b90a5ac64a510","datavalue":{"value":"reasoning under uncertainty","type":"string"},"datatype":"string"},"type":"statement","id":"Q3427869$C4FF818B-2D5F-497A-A438-FE0B7D604D3F","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":"Q3427869$196F1BFE-5592-4CAB-A6A5-0A8007D74833","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d6649d4853baff3b254e51c9979c2133405503","datavalue":{"value":{"entity-type":"item","numeric-id":1140434,"id":"Q1140434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3427869$4FEB8134-883D-4447-AB0D-0D05CEC66383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd65dcc2f2789d017c7392c53b3e11ee3c4fa3bb","datavalue":{"value":{"entity-type":"item","numeric-id":1104777,"id":"Q1104777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3427869$6664BDE6-B434-440B-885B-3BED7EE23140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecc8e898145b783212e800ad1bc88bc9c62fc6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1140441,"id":"Q1140441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3427869$32257270-E660-4511-AC07-83A0E0DC52A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a36938f0401db2e9e24e8f35cf0a512df165d224","datavalue":{"value":{"entity-type":"item","numeric-id":1096409,"id":"Q1096409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3427869$771F90EC-7F88-4C02-9B6E-3781D5295481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b00c51201f67e59e740260c694a944ba5779880","datavalue":{"value":{"entity-type":"item","numeric-id":5607609,"id":"Q5607609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3427869$0404EE2D-515F-4A52-B910-66B34381DA4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a942d3cb3a64798a188cc04261315e41d0efdd1c","datavalue":{"value":{"entity-type":"item","numeric-id":1067417,"id":"Q1067417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3427869$9BCA0DF6-A2E0-421D-B93E-68413EFC7691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f77a25b0798a066fa1d5f637d6e09c5f0b18b2a","datavalue":{"value":{"entity-type":"item","numeric-id":3916039,"id":"Q3916039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3427869$AEC6A536-5535-450E-AC4B-99CA30B3746E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bea9433a2581b701844a7b325fa91389a377a771","datavalue":{"value":"https://doi.org/10.1142/s021848850000006x","type":"string"},"datatype":"url"},"type":"statement","id":"Q3427869$D483F047-7135-433D-BA90-1DC5084E266D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2c5e47c2add2879176ee87c0cf1fda6f7ec43b49","datavalue":{"value":"W4241510000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3427869$BE57D749-0924-4687-9254-99CA9791331A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d80d5cd160708719495c51c69cfcfa6c9e86853","datavalue":{"value":{"entity-type":"item","numeric-id":1029592,"id":"Q1029592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdb0705233a02889f706563c318d0b4e2b06b2f1","datavalue":{"value":{"amount":"+0.7130723595619202","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":"Q3427869$4537D922-E359-4E8D-99B6-C8883A7CD04B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"653e895f3899c4df73fe7a8591e317d9115730be","datavalue":{"value":{"entity-type":"item","numeric-id":4836225,"id":"Q4836225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5f95967fb88db9a08fdd26dd23c414f17131c69","datavalue":{"value":{"amount":"+0.711980402469635","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":"Q3427869$F29654C1-167E-4463-AA35-49A23571CAAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"325bd44dd18a28783af0c426bbe01a947ee3ec43","datavalue":{"value":{"entity-type":"item","numeric-id":6215466,"id":"Q6215466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9172af992418f94b167042bd95198c227b519af6","datavalue":{"value":{"amount":"+0.7119081020355225","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":"Q3427869$88586C79-9051-41A5-B45A-E0DCF054B59E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ecd637a1b9c751b1d64fb381bd6987b8798ba63","datavalue":{"value":{"entity-type":"item","numeric-id":1568489,"id":"Q1568489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a25dd5b6ac4853f4360ea660220be73cc695167","datavalue":{"value":{"amount":"+0.7090083360671997","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":"Q3427869$66A8FD36-E376-4195-B247-72B67C78AC8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0053cff151748c54dfc2d9f0b8a6aef4b44093cf","datavalue":{"value":{"entity-type":"item","numeric-id":3129506,"id":"Q3129506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ed1542e1fd2ad5d021457d846f07cfde83bc6d2","datavalue":{"value":{"amount":"+0.7040800452232361","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":"Q3427869$7D7279AA-D357-4F78-B9F8-B56FE2BC4FA1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3427869","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3427869"}}}}}