{"entities":{"Q7014286":{"pageid":21588639,"ns":120,"title":"Item:Q7014286","lastrevid":78869072,"modified":"2026-05-06T12:37:26Z","type":"item","id":"Q7014286","labels":{"en":{"language":"en","value":"PMaude: rewrite-based specification language for probabilistic object systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8009343"}},"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":"Q7014286$3937EFB2-79B4-4F01-BB4A-CDFE03A3C6E5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a3904e90e30906e648b914bac58e2d3d208fcace","datavalue":{"value":{"text":"PMaude: rewrite-based specification language for probabilistic object systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7014286$D6A39429-338E-4EF7-A74A-8D589A5478F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c6aa3b0cf878f7ca8a05ed44e68f783b4d570154","datavalue":{"value":"1572.68118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7014286$5D44636E-E4D5-4EBF-844A-5D2199DB0307","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4a396a2741aa4b94b7bf896f43345bb7ca5191ce","datavalue":{"value":"10.1016/J.ENTCS.2005.10.040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7014286$FE26914E-6490-482A-B044-840C6175DD81","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5bd3869bc3ccb0a873a984a806d7689b9c2afe97","datavalue":{"value":{"entity-type":"item","numeric-id":2764141,"id":"Q2764141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014286$3280E0C3-0609-4BA9-8B61-F3920C62F8F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014286$3E69FE26-68A8-4AAE-A949-4072A2E21686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7985a67137d89b6818ca4696fb87e88f7da593b0","datavalue":{"value":{"entity-type":"item","numeric-id":2851058,"id":"Q2851058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014286$D6265F98-9CB3-4A4F-96D5-B39755388D1E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07a15b3ca4d65ac9dee0d320c7a989d04762cbb0","datavalue":{"value":{"time":"+2025-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7014286$70B26FD2-BF1A-4108-AF27-6731CC5382E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7014286$17A737F3-6799-4D74-9B30-0048D414AADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7014286$D8DDBA3F-C0C9-4018-A11A-033E2F5F5FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7014286$951F9B9D-B84A-4DFA-AC7C-3B8723CA51C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d627b766097824e5ccf41d1b65fb5d46749dc49","datavalue":{"value":"8009343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7014286$E5B32BE4-2C66-4B63-B47F-0FF660A4AD8B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1b211b4dd569b746945e55556358ad5d7610f9a","datavalue":{"value":"specification language","type":"string"},"datatype":"string"},"type":"statement","id":"Q7014286$AB0E09D4-B284-4EF7-8AA5-5D9A2A282C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c5034d304ca0cc50f18c9af71f7ead93b388117","datavalue":{"value":"PMaude","type":"string"},"datatype":"string"},"type":"statement","id":"Q7014286$FCF8E316-DD89-4F7F-9607-8413995F46C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5c4151d58347ced492c0d0ebab83548fc462487","datavalue":{"value":"actors","type":"string"},"datatype":"string"},"type":"statement","id":"Q7014286$43023F7D-0183-47B7-9630-B4731F506C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c19616f36dbdc2acdca845ad3d2c7a51e4ab2aa","datavalue":{"value":"probabilistic specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q7014286$647FDB1E-77E8-4367-BB3B-9C22A37051A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81df4a918764e4ae92aff4894028bbddc4be727c","datavalue":{"value":"nondeterministic specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q7014286$BB3FBFDC-3A06-40F4-9161-251101D676E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac9dbe40e8f53c9e57d4066c94f466b2f235fec2","datavalue":{"value":"query language","type":"string"},"datatype":"string"},"type":"statement","id":"Q7014286$504358FB-84F3-4145-8A5C-A628FBB24F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"205c5df6e51db6795ebdead9865c9092bac32294","datavalue":{"value":"QuaTEx","type":"string"},"datatype":"string"},"type":"statement","id":"Q7014286$77B065B2-29CD-4B77-B226-92F3B54895C8","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":"Q7014286$51EE6631-20D8-47E0-A751-30A87A32E2B5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"549d0031328335eeadb553d8d00ea4f734879007","datavalue":{"value":{"entity-type":"item","numeric-id":4339018,"id":"Q4339018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014286$4F70758A-BF6C-42BD-B2F9-E66DB49DA836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a58d8d8c115929f1bebe5ab67166db3c1ed09d44","datavalue":{"value":{"entity-type":"item","numeric-id":5738903,"id":"Q5738903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014286$794ABBCA-B1D0-49DB-890A-54A0BA279D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c53bbc31a445e987f53c0841acd693d68b85167b","datavalue":{"value":{"entity-type":"item","numeric-id":5901902,"id":"Q5901902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014286$EA489FA8-184B-40AC-94F6-DD489EE0D029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ce71a5e212a8c5cd65d66580e9075eb5aa319ca","datavalue":{"value":{"entity-type":"item","numeric-id":2956706,"id":"Q2956706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014286$52B171EB-030A-40D5-9FBD-5B1E2EF74012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df0a77e1c48f39d3b14ae34f12c26a25727e4adf","datavalue":{"value":{"entity-type":"item","numeric-id":1978640,"id":"Q1978640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014286$E2F568D3-E7A8-4556-A050-C06FD317C7D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cca3b30d0a635de87e776bb5c6ce06af9f321896","datavalue":{"value":{"entity-type":"item","numeric-id":1608917,"id":"Q1608917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014286$352EF4EE-13AC-4124-9295-11A28C8740BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e53d9e53c3c574e8c7675f6ec5036e8ca0ad199b","datavalue":{"value":{"entity-type":"item","numeric-id":1343864,"id":"Q1343864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014286$FA9A3F71-4602-41AE-BB7D-1518568969F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf75ae3bbb86aaaa95ce7d83fadffede3af73d0","datavalue":{"value":{"entity-type":"item","numeric-id":5958464,"id":"Q5958464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014286$10631E07-6323-4E8D-B6A1-E357E1B9D60A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"347df38badd15efd68ea1215bab1c51d2c2d7843","datavalue":{"value":{"entity-type":"item","numeric-id":5902540,"id":"Q5902540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014286$E7CDFFEF-4154-48F1-BB17-897D677CC8F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"840d5c28da0e38c899ea1bbb79ad1bea8bed6f34","datavalue":{"value":{"entity-type":"item","numeric-id":4835250,"id":"Q4835250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014286$951503E7-C9C5-416F-BEC2-9CA0777136B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014286$B9073957-DA42-4C0B-828C-5CF4A48058E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35de7df0c420175ccefc3da8012590103dbdf602","datavalue":{"value":{"entity-type":"item","numeric-id":3839051,"id":"Q3839051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014286$7C3DB31A-EAC7-46E6-907E-1BB12EADB786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"730c66190d161c62379a21e901aa6aeaf6d3f898","datavalue":{"value":{"entity-type":"item","numeric-id":1608921,"id":"Q1608921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014286$8255A39F-4DFC-41A4-885D-8FC0ABCDFF8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42899df5b07f98507ca87f01b80430013eb00ad3","datavalue":{"value":{"entity-type":"item","numeric-id":4315289,"id":"Q4315289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014286$4E65C666-9B88-4F3A-85FB-391EAD44499D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b64edaefc1341a6e2a6192158f59846c43ad037","datavalue":{"value":{"entity-type":"item","numeric-id":5312900,"id":"Q5312900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014286$62D501BE-319F-4513-BCB1-DC51688E7C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"408563137274f89aaaf748e3ef7fa707ad154441","datavalue":{"value":{"entity-type":"item","numeric-id":5716565,"id":"Q5716565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014286$8211BD50-6431-49AD-BA00-8866599A8D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f907d75612b0bd82eeef2f97ad81b622c6654cdb","datavalue":{"value":{"entity-type":"item","numeric-id":4324960,"id":"Q4324960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014286$A20F490E-A47D-413E-87E8-EF1F38567A6F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"PMaude: rewrite-based specification language for probabilistic object systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/PMaude:_rewrite-based_specification_language_for_probabilistic_object_systems"}}}}}