{"entities":{"Q3743306":{"pageid":5773212,"ns":120,"title":"Item:Q3743306","lastrevid":50963423,"modified":"2026-01-15T23:10:14Z","type":"item","id":"Q3743306","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3976998"}},"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":"Q3743306$7516CCA4-3EA3-462B-BA67-3F6FDD00FE6F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45451db45788f814167239d0c2bb65c75182a005","datavalue":{"value":"0605.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3743306$B2EB79FE-316D-4890-88FA-367AD89A7501","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"14dbd3412c8983dab865e6020d47b41e567dc7ae","datavalue":{"value":{"entity-type":"item","numeric-id":1242696,"id":"Q1242696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3743306$EA5502BF-42F8-4847-8271-E28596994816","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3743306$3C66F10D-1F91-49EE-ABEA-A559D3EF22F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3743306$355F7077-E87E-4354-91FC-B30CF0066D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3743306$842F948A-F830-46D5-A363-5822A292E4FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46ba7a7b5b94b1ff9844a7fec9bb045326b18f63","datavalue":{"value":"3976998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3743306$64EF679F-0140-42AE-926B-782891CCEC62","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d1a4afffe06da38eedc9c74f2096a3ef2044c25","datavalue":{"value":"propositional calculi of term satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3743306$35523B34-A702-411B-B1E5-DA6FDF0D4D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"762bb9a82b0925e4a2770c8e322751f7b47a4182","datavalue":{"value":"propositional process logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3743306$A334C8E6-1491-45A0-902B-4989047001B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e73206721057b3e37cab03041bb86f556f10cfc","datavalue":{"value":"fragment of nonlocal process logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3743306$6E9B89BF-6C15-45C9-BEED-641B3518EB0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0229f7c106a41e0bfb777e301a9993f34e6e2ea0","datavalue":{"value":"program-free nonlocal process logic with concatenation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3743306$E82D7F83-79CA-4834-BBFC-7746649118F3","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":"Q3743306$02E26913-FA16-4758-8C33-DBE813DC11B5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a0585a2ccf8f27ae7c3728db85b83ebc046ddfb","datavalue":{"value":{"entity-type":"item","numeric-id":3323260,"id":"Q3323260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a124ffdd70342ef4768cfe35c5cc738c4956d7bf","datavalue":{"value":{"amount":"+0.7769834399223328","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":"Q3743306$798838CD-49DE-44EF-9C4C-A6CD5981DC4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e550bec8b8621b93d4aafb697218b696c3e7df9d","datavalue":{"value":{"entity-type":"item","numeric-id":3686025,"id":"Q3686025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaaa80e87f8cfe7ddd0c8009971bfd4f66d9ef74","datavalue":{"value":{"amount":"+0.773165225982666","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":"Q3743306$942FF42A-F761-4B34-913B-74547FFA348C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbb531e104a668fb786141633d01e53847c2b80f","datavalue":{"value":{"entity-type":"item","numeric-id":3713595,"id":"Q3713595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8de09c9a1f46e26eccb57138983ee9de1b739f8","datavalue":{"value":{"amount":"+0.7628048658370972","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":"Q3743306$F4CCBA42-9ECB-4785-BCAF-40B734B8BCAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fb6c6c85303f2e7f31fbf0839d1c1e30b0adc71","datavalue":{"value":{"entity-type":"item","numeric-id":3322070,"id":"Q3322070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f87654187384769810458c99b1b9cf827e2e19d","datavalue":{"value":{"amount":"+0.7548937797546387","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":"Q3743306$83D0D4AB-DE7D-4D6E-BCA7-8A617901EAB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1c6a7e04cb372ed23e9c84a4356966153fb1d53","datavalue":{"value":{"entity-type":"item","numeric-id":2996912,"id":"Q2996912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7491f2a53db1b23b86a76935f56038c35c740255","datavalue":{"value":{"amount":"+0.7422013282775879","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":"Q3743306$D69B29A8-8928-4FF2-865D-F4FAF3427DA1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3743306","badges":[]}}}}}