{"entities":{"Q4366602":{"pageid":6396201,"ns":120,"title":"Item:Q4366602","lastrevid":39867982,"modified":"2025-01-27T19:19:19Z","type":"item","id":"Q4366602","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1090101"}},"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":"Q4366602$B3D14CC8-DF2E-4C14-8F5F-471D3C6AA763","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b9160ff20dee1c03303fd33148eac9564eca32f5","datavalue":{"value":"0912.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4366602$9DE58026-C801-495D-8D6F-B60DDAEA6DA4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7743279316f8ce0cdbb2e6d0842ac12b618ecbfa","datavalue":{"value":{"entity-type":"item","numeric-id":679246,"id":"Q679246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4366602$14BCA52A-9374-4490-AA90-D2BEE7A6E30F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0aee48f57bacf44e01af9bc56c6eda958ae06c8","datavalue":{"value":{"entity-type":"item","numeric-id":211660,"id":"Q211660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4366602$33EEC010-51AA-482F-B2D4-C93D7F56C0DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f22a4517439b77712eaf9ecd1c0d2bab5b4d082","datavalue":{"value":{"entity-type":"item","numeric-id":211661,"id":"Q211661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4366602$9A0CC5F5-24C9-41D5-9131-69A3131D94CD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6891ac2a0d9086ce51e8d5e9d72824b23cd939d1","datavalue":{"value":{"time":"+1999-05-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4366602$9117CF4E-CF99-4E42-BBE5-4B29839AD6C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4366602$0A3BB08C-BED8-42C9-BE25-419268D03BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4366602$2012F6B7-0109-48A9-8936-08B80ECE08A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0bf19a78c38ee95db982037626716c411c45c42c","datavalue":{"value":"1090101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4366602$586DA27F-95DF-4222-BEDB-172584C5850F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb10a7c9b9a143fbebb56bbd5381c044a2a7ccf1","datavalue":{"value":"completeness proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4366602$1B646132-4870-4AE0-B26C-B25DA2FC22AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b17dbf564be4d13f76376fd3592cc872a08456fa","datavalue":{"value":"nonclausal inference systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4366602$601FFBD1-FFCD-48BC-A0FF-DF1FA8739F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ff42b42320a82b79477c786f622fa365512b2e8","datavalue":{"value":"negation normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q4366602$08A9C466-4114-4457-8BD3-7026B711ABF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5426934b4d6c8f790b367c8bf7e8dfc1b5c92b2","datavalue":{"value":"regular connected tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q4366602$1F7D4608-DCF8-410D-849A-8565283BEE77","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":"Q4366602$D95B2D05-70F3-4DA6-BFD0-1025E89FAD2C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"787bcd7ee30e9cba1ad41f1a39b42f6c5e72eff0","datavalue":{"value":{"entity-type":"item","numeric-id":703486,"id":"Q703486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"102d4d1683ee9d6ee2f621bdf77ff64de3624aef","datavalue":{"value":{"amount":"+0.8412117","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4366602$29877DD2-51F8-4C22-BE65-7DE0FFFDFFB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cf7b2dee4bced2cbc9a4883c47f4dd252915b35","datavalue":{"value":{"entity-type":"item","numeric-id":5310674,"id":"Q5310674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93efcb12477914f8335e85084dd11c295bf1e276","datavalue":{"value":{"amount":"+0.80822504","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4366602$1A99E82C-A8E9-4C96-9BF7-03EEB764A1F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d818b8ab1358368e0162ac160aea665788f15dd3","datavalue":{"value":{"entity-type":"item","numeric-id":2785673,"id":"Q2785673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04b677597f2de3448937e21600c39930a7aa3e11","datavalue":{"value":{"amount":"+0.7971784","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4366602$26348FA7-790C-4A7A-B4CE-03818B49AC74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09766ec6d0256323a14dfa25ccc29b54f091194e","datavalue":{"value":{"entity-type":"item","numeric-id":3485886,"id":"Q3485886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88d2b64d776324d3ea171f5615e002cc71681bef","datavalue":{"value":{"amount":"+0.7867373","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4366602$3612C81B-AA3A-4472-8A2F-62CEF45D4AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1260ce69657e83ce8eedbecf018e7d489ef639d8","datavalue":{"value":{"entity-type":"item","numeric-id":3838812,"id":"Q3838812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4ff803855e6377e30cf90bc15a7a0fb5bea2967","datavalue":{"value":{"amount":"+0.77878124","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4366602$324157C9-3594-4E64-BE90-3D6034D2F319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b7af018f8b2ebf4b0b3e603a833e0faa6948251","datavalue":{"value":{"entity-type":"item","numeric-id":3358707,"id":"Q3358707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fc7d6f9038e636fa21bba5a9cfb7491e7ca3a53","datavalue":{"value":{"amount":"+0.7757771","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4366602$D31058A5-FF52-47E9-825C-90354E0C04B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39835574666932a9f226413e82925155b1598e01","datavalue":{"value":{"entity-type":"item","numeric-id":3338214,"id":"Q3338214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05a0dc2da03bbe0787ddd619abc915bd013b914e","datavalue":{"value":{"amount":"+0.7740597","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4366602$2D9A659A-A7FE-47BF-80D6-96C0E7E23E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06043c6808c48bfcca73fa9844278ac22829c043","datavalue":{"value":{"entity-type":"item","numeric-id":5294172,"id":"Q5294172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4615683a0b2b640db4921c321a288a5f502ffa55","datavalue":{"value":{"amount":"+0.773243","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4366602$DE54E3D3-9F2E-409F-9AD3-67FF65125FEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1ffd16ed5dc048c151e7e76429d1292ac4c9c27","datavalue":{"value":{"entity-type":"item","numeric-id":3777496,"id":"Q3777496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5a00b411dc53f8d77046ddbff6a265d3d41993e","datavalue":{"value":{"amount":"+0.7709506","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4366602$7CF4F267-4380-4F51-85E5-410EBCF2B037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb4427de8d7fe4878160de2cbb9b24c5d18922ed","datavalue":{"value":{"entity-type":"item","numeric-id":4537439,"id":"Q4537439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce5de3ed6abe880866fc20e1be04c3acd1f075c5","datavalue":{"value":{"amount":"+0.76932216","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4366602$41585364-8F18-4C3B-B6E2-33A5C8B75A24","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4366602","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4366602"}}}}}