{"entities":{"Q1369077":{"pageid":1379817,"ns":120,"title":"Item:Q1369077","lastrevid":43064901,"modified":"2025-07-17T09:28:10Z","type":"item","id":"Q1369077","labels":{"en":{"language":"en","value":"Toupie: The \\(\\mu\\)-calculus over finite domains as a constraint language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1071884"}},"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":"Q1369077$8F4BA8F7-79C6-4669-8A0A-88BBA451DF9E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"026d5a007608d160187ecad0feb000be67c16b44","datavalue":{"value":{"text":"Toupie: The \\(\\mu\\)-calculus over finite domains as a constraint language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1369077$8D9F98A0-3E39-4FF6-B823-1CCA3BFDD1AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"80c95ba85f82c7c1cddad2c582a778121d0a46ef","datavalue":{"value":"0941.03532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1369077$24681EFC-7CA8-4F0C-8F45-EA0CB1009AD0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c9438ebea6d2301fd7040acfb5a910d320721b0a","datavalue":{"value":"10.1023/A:1005732517165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1369077$BAEF0FA7-8819-4C5E-957A-44AC5DCB7FF8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b442b4f3caf8d01e0b85874177845b1489b9058","datavalue":{"value":{"entity-type":"item","numeric-id":1369076,"id":"Q1369076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369077$1B0CB261-85C0-4352-B895-A6753C936268","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":"Q1369077$D9FEEDB6-85F8-4B74-8BCD-942B7310BF42","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369077$76AEB03A-4DC9-4FEE-BAC9-F72DC14C9C11","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"abadde42e4499845b05435732689e7b1865c6bb4","datavalue":{"value":{"time":"+2000-04-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1369077$9BEF048E-3376-4278-B05C-920843717F42","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1369077$B63198B2-AD2A-47F6-834B-7C4EB8232BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1369077$9B8CC621-8A72-4F20-8C30-95699988045C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1369077$77F4E177-82B0-4852-8608-AF2D97E0057D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1369077$B26B2AB2-9315-47F1-BE58-92BA47C8125D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e9677721774dafc006d7a410c0985cc2b10f15f","datavalue":{"value":"1071884","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1369077$05AF07E9-F6D6-44E2-B10B-14D9731F4188","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":"Q1369077$96EA81EA-1E4F-46E2-8B6A-FB2DEB8BDBD6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1369077","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1369077"}}}}}