{"entities":{"Q2848138":{"pageid":2858858,"ns":120,"title":"Item:Q2848138","lastrevid":51832988,"modified":"2026-01-20T06:38:45Z","type":"item","id":"Q2848138","labels":{"en":{"language":"en","value":"Characteristic \\(\\mu\\)-calculus formulas for underspecified transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6211528"}},"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":"Q2848138$AD1A2979-149B-4213-8F86-3A7B8DB1685B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d1a70c3c452e2f66de1a009cffe244373a3bcb44","datavalue":{"value":"1272.68301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848138$A77D0B15-465E-49A4-92DE-68B1BB3DF2AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f83abf2b01a4357b2f9d0924a417dea001e35cd1","datavalue":{"value":{"entity-type":"item","numeric-id":338622,"id":"Q338622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848138$B87222BC-F3DB-4262-B2C6-E49B68300886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35fc089f2173d2cca71cedf816da15f5be891974","datavalue":{"value":{"entity-type":"item","numeric-id":1029092,"id":"Q1029092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848138$D609A5DF-1DD4-42EE-90D1-9BC0172039D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"68e9606d4f4e53be9a37b58bd23167a8b2b94aea","datavalue":{"value":{"time":"+2013-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2848138$90085F65-11DF-4282-82B0-B12D6FE7F0D0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aba948c9cbb09053307a1ad353ff433eab223315","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S157106610500157X","type":"string"},"datatype":"url"},"type":"statement","id":"Q2848138$08E6FAE7-29CF-4291-B0C6-683B0EF83C29","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848138$668FE094-502F-484B-82CF-DB919E1B7390","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ff410b18f030960c3f38b10bada95a319a61c79","datavalue":{"value":"6211528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848138$2E3FE17D-80D9-4379-83D5-CD077523E4AA","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":"Q2848138$8CB1DA26-1DB7-4013-AA8A-401ECB09E96E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d6931d6471686866c0202282a0bec5b1e393eab0","datavalue":{"value":{"text":"Characteristic \\(\\mu\\)-calculus formulas for underspecified transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2848138$6942ABEB-74D5-448A-B769-29F1B617FF56","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd182e6e7ee252e3c10b03f928c4565b0c730301","datavalue":{"value":{"entity-type":"item","numeric-id":3569045,"id":"Q3569045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"804db9f9d0567ec9d1f296f1a71de868ffd1dacb","datavalue":{"value":{"amount":"+0.714426577091217","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":"Q2848138$6B7F93EC-1992-419B-9D2C-71E5E8DB5701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efc0c3f3a562861af564f9d025187852fee41cdd","datavalue":{"value":{"entity-type":"item","numeric-id":6104378,"id":"Q6104378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e20c676718f30f5b42c396405a7d2ff9f501d432","datavalue":{"value":{"amount":"+0.7099509239196777","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":"Q2848138$2DD6D189-3301-4C09-A2D3-2420BC9C7AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56dea6ad997ecba48c4a0ab781f9549648f6e8f5","datavalue":{"value":{"entity-type":"item","numeric-id":4412837,"id":"Q4412837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66d5eeeb8460616f25ebdb91d946dba3a4a430db","datavalue":{"value":{"amount":"+0.6998745799064636","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":"Q2848138$D598EE0B-92C8-4F12-AFD2-35F6F67B6160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbb176f523302ecda8664b513cfd119bc49ebf59","datavalue":{"value":{"entity-type":"item","numeric-id":4536385,"id":"Q4536385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66d5eeeb8460616f25ebdb91d946dba3a4a430db","datavalue":{"value":{"amount":"+0.6998745799064636","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":"Q2848138$7505BF53-B0DB-4686-A1D3-F9FF6967C03E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02cda41305cc32a73f956d4c667e6a100a369e94","datavalue":{"value":{"entity-type":"item","numeric-id":4417913,"id":"Q4417913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef12205b993490e416f60c3f4ec10861bc40158e","datavalue":{"value":{"amount":"+0.6857827305793762","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":"Q2848138$10A7E787-9613-4A2A-AF42-7671CF115056","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2848138","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2848138"}}}}}