{"entities":{"Q4939272":{"pageid":6968854,"ns":120,"title":"Item:Q4939272","lastrevid":47447743,"modified":"2026-01-01T18:57:24Z","type":"item","id":"Q4939272","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1406235"}},"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":"Q4939272$7CCEF388-220B-4870-AAA3-40FABB230004","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a12c1d1c74a6821336de5f45e1a91c31f9b6bc6","datavalue":{"value":"0942.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939272$CFFB35D0-DD63-4411-AA98-DD77EE36AC9A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ed551b7bd106ae682ae2aa8246721f66bfd3965","datavalue":{"value":{"entity-type":"item","numeric-id":4939271,"id":"Q4939271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939272$FFACF6DB-7C38-4548-9B36-D7445CFDD577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"126ded051c21b6b4f0848c0dda5bb6794a750f2d","datavalue":{"value":{"entity-type":"item","numeric-id":714503,"id":"Q714503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939272$1033D95C-584E-484E-A9B4-20F15B0A88DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cee9ee8991d575589dd0f14714ea365677642eb","datavalue":{"value":{"entity-type":"item","numeric-id":1266201,"id":"Q1266201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939272$AD51E4B5-85DD-44FB-B687-C2DB352A73B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e01016a5aa1fdc00855be84e2d8c96709b2787ec","datavalue":{"value":{"time":"+2000-02-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4939272$B4EBCC75-6C1F-40C9-85DD-A10DD3C19AA6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939272$4856E6DB-103E-459A-AB5D-4B2931B8D3B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f97b74cf994979c15a816f2ee3e24c9ecea16bb2","datavalue":{"value":"1406235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939272$B333D04C-031A-43A9-AED5-28E674348920","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcbf46f7887dbc2c85798e2b10828dac7cd7fc09","datavalue":{"value":"Boolean \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4939272$8D99C473-BFD0-45DA-B113-B940278A1C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"feed2674e400bec02c47d4bcbcab5873d995d008","datavalue":{"value":"Prolog module","type":"string"},"datatype":"string"},"type":"statement","id":"Q4939272$73483311-63ED-4798-83EE-982982077534","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":"Q4939272$33C7BC7E-E233-4F52-9706-6C5CA6CF04FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e847e2cf66eeaa39e9e0d495c2a8941fb1546b1f","datavalue":{"value":{"entity-type":"item","numeric-id":2226964,"id":"Q2226964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bdc3f4bee014ef1b046c0d25407d4faff0ea211","datavalue":{"value":{"amount":"+0.7419646978378296","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":"Q4939272$9C26245F-4A0A-4E72-9301-F16976F77CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"147c6bfd28f499b09baf6da1add39b17bd630247","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53bb12ba41930ff5c73d690e9f67ca74df6e4f8f","datavalue":{"value":{"amount":"+0.7306512594223022","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":"Q4939272$12007E98-601A-40F9-83EE-F1850738471E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f80f0c0fda23968a7cf162e021f0fba0ad757824","datavalue":{"value":{"entity-type":"item","numeric-id":1325844,"id":"Q1325844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"998ce1adb308dd3982d14863a27f9fb864d6dbb2","datavalue":{"value":{"amount":"+0.7124268412590027","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":"Q4939272$1D60382A-14B5-4734-9713-8E6E1B5D8F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b55fd76bee2115b9acad69793872c6200e19ef8","datavalue":{"value":{"entity-type":"item","numeric-id":4589613,"id":"Q4589613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2493f0c8381e1b16930ed1e156315a2cc9b46625","datavalue":{"value":{"amount":"+0.7107945680618286","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":"Q4939272$3D87B39D-77C9-49E3-90E1-4CE00618D5C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"804e6ea3d22d788cd7a0232318be92507908a0b8","datavalue":{"value":{"entity-type":"item","numeric-id":5480560,"id":"Q5480560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efe0965f4940df5b517bade3067674cab5f22bae","datavalue":{"value":{"amount":"+0.7079819440841675","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":"Q4939272$EF5C1AF4-FFB6-403F-8A6C-5C67B2299B01","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4939272","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4939272"}}}}}