{"entities":{"Q2422016":{"pageid":2432759,"ns":120,"title":"Item:Q2422016","lastrevid":53449565,"modified":"2026-01-24T23:44:10Z","type":"item","id":"Q2422016","labels":{"en":{"language":"en","value":"When are prime formulae characteristic?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7067578"}},"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":"Q2422016$C1F6831C-8BD7-4811-A834-650C6F0F24A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf8c14a66c7ae8683eddd8451274350ae15b7717","datavalue":{"value":{"text":"When are prime formulae characteristic?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2422016$961B3774-E33E-4C71-90F5-9FAE643AC678","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b6fc24caec86e16fd9bb96de39f4d1f5382b50e2","datavalue":{"value":"1425.68246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2422016$8DB08B07-5C1D-4A63-A557-A2B86E08F831","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b4bd39b66e05c6b5ee50169e2d4c712b3b54f91","datavalue":{"value":{"entity-type":"item","numeric-id":266855,"id":"Q266855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422016$0CD6BD4E-DBB4-4BD3-A645-28848CD68548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c11537367761b3a042544f520669ef3aebcdb3a","datavalue":{"value":{"entity-type":"item","numeric-id":266856,"id":"Q266856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422016$BE96B1F6-14EA-48F9-A93E-2E422D665583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e7478430eb26658d7e19e913ffefd51e148e64d","datavalue":{"value":{"entity-type":"item","numeric-id":2403820,"id":"Q2403820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422016$063CEB5B-69B9-4532-AAB4-6DD2F65F3F0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bb3d908edde5cce58f30bbb8863859bdf04b4ea","datavalue":{"value":{"entity-type":"item","numeric-id":266858,"id":"Q266858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422016$98D8A8C4-FDDB-448B-979F-8F3D5A7B508A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422016$44455CC3-1C71-4A49-A627-0994FF516258","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"001edf23e586a650fb6b34425b0aaf644eda2260","datavalue":{"value":{"time":"+2019-06-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":"Q2422016$277A0744-7746-4EFD-9170-69AEAADB90E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2422016$99B3AD0A-B580-449B-8DEE-AD5394210430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2422016$F7D3F445-C3DD-47BB-BA49-86D9F5EFA29D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2422016$218C5375-1259-40D8-A0DA-CD51D704D089","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f837d899d64429a12372bd5bc0e01d90b4b97ea","datavalue":{"value":"7067578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2422016$A0E721E2-8921-4C18-B7F9-AB17F7EABA26","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a426b3ee2c58275dc27872646ee690c86a095cab","datavalue":{"value":"process semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2422016$E8864FE8-B46D-44CA-A73A-E2ABF2792199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98bff7e4a4536831a746765cf2bfc36024b1e1be","datavalue":{"value":"logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2422016$B3587B09-D616-4DCC-AB8C-170EFA8177CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"700191a5597813ab50ec33e35d92eab1d742dffc","datavalue":{"value":"characteristic formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q2422016$AEDA97EB-1056-477D-B9E2-899852568FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3432faa7cdea9f215f6386d3510172abdb1d9f2","datavalue":{"value":"(bi)simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2422016$EF749ABA-D878-4C9E-846B-9F8E48764C32","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":"Q2422016$4CBC0D79-BED5-46D0-919C-BF49FFFD4BA1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8d59856922299705b32e11ff8552d9d7a5a6737f","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2018.12.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q2422016$0E62A12E-EAA0-4FBD-B2E0-182C554AFD5B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f7444aab7e8af435dd00268c72303e9fd90a2d74","datavalue":{"value":"W2904586419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2422016$F9E210C4-184D-42C8-9CD3-F1E64672B564","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f3adee52a1350361f1f766b4d0fce1055c58488","datavalue":{"value":{"entity-type":"item","numeric-id":2946326,"id":"Q2946326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422016$5FE18E77-440E-4EB7-AE1F-62D20BFEE2B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f19151d005fd311e34f00ed4e8e1c914d916818","datavalue":{"value":{"entity-type":"item","numeric-id":5309950,"id":"Q5309950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422016$08691E1F-DAAC-49F7-8CE9-44E0580BF423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422016$A0FBE873-12EC-451A-9019-8B929723093E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d84ade6a02bd73f79c254069b90a11e1d3dc467","datavalue":{"value":{"entity-type":"item","numeric-id":4095835,"id":"Q4095835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422016$88EB35B9-E251-4528-8820-E226D95CE149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0cb3841cb9de99ab18385b9593c3ef6b8c99848","datavalue":{"value":{"entity-type":"item","numeric-id":2838240,"id":"Q2838240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422016$ABACF857-4B97-471F-BB05-271BEAD704CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bde89a2565987f3fce774ef2cf6b25f306124df","datavalue":{"value":{"entity-type":"item","numeric-id":2760238,"id":"Q2760238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422016$E4381623-CF7B-43BA-AA0A-3ACDF48A1965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422016$C2489C74-008E-46EC-A9B7-170B4C6A9732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422016$E7CAE9A5-5B0A-4EAD-A0AD-E72A5D46F75A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422016$4B62D0AA-B112-4F92-AAF5-DE23C8067BC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b051b8ebcaea223cbf9c88b09ce39b707e765529","datavalue":{"value":{"entity-type":"item","numeric-id":4302821,"id":"Q4302821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422016$7ED0E420-88A6-439C-8C5D-4301221E4783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9e66c63c51508778ce501709c80be252e81c998","datavalue":{"value":{"entity-type":"item","numeric-id":5277691,"id":"Q5277691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422016$97CA107C-4D74-4876-A5A9-A3419A4266CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c106f7cc54dee822f9d675291a8678b1806d2f8","datavalue":{"value":{"entity-type":"item","numeric-id":3719814,"id":"Q3719814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422016$1F317AAE-092A-41F9-97FD-B9D8FE7152CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5735069a83c3299190a155d1f226c5bb8283daf","datavalue":{"value":{"entity-type":"item","numeric-id":1322469,"id":"Q1322469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422016$692CDFCE-21D3-45F9-B294-FCEE88122E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b271d248209bef4afdad700492a5a77cd4b330b","datavalue":{"value":{"entity-type":"item","numeric-id":1709685,"id":"Q1709685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422016$7E7E99C3-50B7-469F-AE14-CC7AF7A386F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"919e9204ec45969523a120a7737cd8514526e8e3","datavalue":{"value":{"entity-type":"item","numeric-id":4036558,"id":"Q4036558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422016$44847098-CE07-40F6-A940-5E5FE1CC3E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"875736f390fbee8f5115e55c84e89462043693ee","datavalue":{"value":{"entity-type":"item","numeric-id":685358,"id":"Q685358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422016$AE784D2A-D1B6-4775-B33E-D41792F165A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3987b1edd2ff3cf74990ea8a2c9f3ee17ddbbee9","datavalue":{"value":{"entity-type":"item","numeric-id":4965855,"id":"Q4965855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422016$1505A1C7-AA1E-4B44-9A3C-D70AE1CB2D00","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f74bcb5901af1fba21254679c63ae424708932a2","datavalue":{"value":"10.1016/J.TCS.2018.12.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2422016$EF1E5CBC-DB7E-4ADC-9D5D-651F3BE1E9F4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f315e94b9907c55667d6a21de4e43f0438f2d333","datavalue":{"value":{"entity-type":"item","numeric-id":2946326,"id":"Q2946326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1dc38cc02a1c7d60ef436d551ee723f2253519e","datavalue":{"value":{"amount":"+0.9885174036026","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":"Q2422016$B8B14329-22A3-4835-A34D-2F932A998D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec46893a4b4c0b93f133ccc054aee10052ef6958","datavalue":{"value":{"entity-type":"item","numeric-id":1322469,"id":"Q1322469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b177c219738ee20b2ae6c6131412b2a6d095a415","datavalue":{"value":{"amount":"+0.7700668573379517","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":"Q2422016$E4EFAC74-18F2-483F-AF55-6EDB49415E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c9f6af41f515eb26ebc5d57205ffa39163db1e9","datavalue":{"value":{"entity-type":"item","numeric-id":1987735,"id":"Q1987735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc0ff6369de2fec9dbdc3ec6fa46b15f6ad18249","datavalue":{"value":{"amount":"+0.7649878859519958","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":"Q2422016$49528071-4B66-413A-A052-98E10E1CED1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1aec685ffb13ba78cc21ae08637dd7d90864b9c0","datavalue":{"value":{"entity-type":"item","numeric-id":2729632,"id":"Q2729632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4da02b1ffbba0cb94af880cf3750c3980d7fb3b2","datavalue":{"value":{"amount":"+0.7582809329032898","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":"Q2422016$6C03CAC7-848B-42CC-9AB3-2857BAE70FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88978ae85c7669f1474add396d88ce2da66adab5","datavalue":{"value":{"entity-type":"item","numeric-id":2883115,"id":"Q2883115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c2938c39370ee4414719bc6cd260d18f0f0ec47","datavalue":{"value":{"amount":"+0.7546007037162781","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":"Q2422016$05425CF0-1C10-4AE8-9A69-DBB0377F66C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2422016","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2422016"}}}}}