{"entities":{"Q4376070":{"pageid":6405669,"ns":120,"title":"Item:Q4376070","lastrevid":46997844,"modified":"2025-12-26T00:41:29Z","type":"item","id":"Q4376070","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1114351"}},"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":"Q4376070$CE54F8CA-E313-4C9A-B8CC-C986CC6851A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"33a08e8c0cb9483b3ff9fca5a46e21223d34894e","datavalue":{"value":"0891.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4376070$739067B0-DC00-49EF-8BE8-B586C7E6DC0B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3d44d2e806c94564ac8ed3016d0ed20fdb29f21","datavalue":{"value":{"entity-type":"item","numeric-id":490671,"id":"Q490671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4376070$F3C7C613-4F98-430A-9436-1F35753065BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"46d510eec3e7ce58270c726463ed6b80c4b4fd4e","datavalue":{"value":{"time":"+1998-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4376070$06AD754E-50B4-4439-A3B2-50382832111D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4376070$0CBF2BCA-83C5-42BD-AA7B-79368F0C0E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4376070$E65288AA-04D2-4520-8B9E-085312D5D7D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4376070$377AA184-6787-4C4A-8A41-DA905D922EFF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"41efb2704fa0192525feda2326f788c6d85d0baf","datavalue":{"value":"1114351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4376070$A690AE59-BAF1-49A0-93F1-FF1E1423208B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1677c1cec4841ccd0c49aff71b92a5c9612be2d3","datavalue":{"value":"propositional \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376070$5FA0C505-B825-40F3-B7BC-57E16F6263E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e47bd6a93bfee66641bb213952448ff8cb210e2","datavalue":{"value":"finite Kripke structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376070$7B2CE94B-42EA-4FAA-8FA8-233ADAE508A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a862f016acc1e519aa7b6644887bfca464692961","datavalue":{"value":"polynomial time","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376070$AE21EBF4-AAD2-4EED-9BF5-42D5294C6BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3c924f356cbb5347bdf86b2d80a09e159df93e7","datavalue":{"value":"bisimulation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376070$5546456F-1BA2-42B1-B961-228CC3AF3D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb2d30b7f07444ab0baf06cea94c1a7b02b836f8","datavalue":{"value":"bisimulation-invariant PTIME queries","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376070$072C59F0-BD10-4788-9B1A-645AF71BC94E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69e4ea30093d8fa32dfa08d62053fb8ff3268739","datavalue":{"value":"descriptive complexity theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376070$AACFF0B4-D3AA-44F8-AB0A-09F9CBB50D69","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":"Q4376070$C7C78147-8960-41DB-A211-C44213F778F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce26e61648bd6ee4649acba668ea69ff74133911","datavalue":{"value":{"entity-type":"item","numeric-id":1960425,"id":"Q1960425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5cd326a957379e4e9f080aa947cfd953712663e","datavalue":{"value":{"amount":"+0.9313355088233948","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":"Q4376070$1B36A462-CA78-4F36-97A5-646435B2D972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceffdd329b916bec937476626c5b94b07cfb8d45","datavalue":{"value":{"entity-type":"item","numeric-id":2182315,"id":"Q2182315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb7d9096222cd6acbe5ed951035b0641a76b44e9","datavalue":{"value":{"amount":"+0.7732468843460083","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":"Q4376070$091D86AD-75EE-42EA-8D22-6DA509CD7933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"552540bd19fd2c98cae38058546fbc7313f08df3","datavalue":{"value":{"entity-type":"item","numeric-id":5002802,"id":"Q5002802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d48259e78ba1245c545611ef25e695acacbbb968","datavalue":{"value":{"amount":"+0.772495448589325","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":"Q4376070$F023CF20-0BE3-424B-8800-DB2ED8ABFA26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abde85dd0c5a0622ef2a5fe0b0a2d3a3afe7d711","datavalue":{"value":{"entity-type":"item","numeric-id":5494236,"id":"Q5494236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6862509e39e5e3cfcec38aef3f0bb1848510306","datavalue":{"value":{"amount":"+0.7689140439033508","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":"Q4376070$0A59F1B9-2637-4518-B90D-AC08D58A6B73","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4376070","badges":[]}}}}}