{"entities":{"Q3525633":{"pageid":5555537,"ns":120,"title":"Item:Q3525633","lastrevid":50458121,"modified":"2026-01-14T02:39:23Z","type":"item","id":"Q3525633","labels":{"en":{"language":"en","value":"Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5344920"}},"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":"Q3525633$77B7EA12-BA6C-4ED8-9C71-77497674AABB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"75f4472fdeef0e398e5e2273897974dc282c52c0","datavalue":{"value":{"text":"Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3525633$F2A1F670-6A0F-41B9-BFCB-7CA9B84CF91B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"758b0d065913688c221c21da28ba67503ea790ef","datavalue":{"value":"1151.68521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525633$3111C3F4-B910-423F-89A4-CE528A4979AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"533e303275785e125fd1199fa3425cb953adc250","datavalue":{"value":"10.1007/978-3-540-74407-8_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525633$4E4791D3-6FDE-416C-AFA5-9198D5578F0D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56f2720d61eed3832eaa70475ebf459e0738ce91","datavalue":{"value":{"entity-type":"item","numeric-id":310083,"id":"Q310083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525633$755F8F42-9D35-4202-AD21-BC073B9C8302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6f3b40888be6097ebd75934ba2efdd634c0ff6a","datavalue":{"value":{"entity-type":"item","numeric-id":716319,"id":"Q716319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525633$810A5DF9-039A-406D-9888-5D2D21D38BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a469e1856598e76c0542f05574b54b053e1e517a","datavalue":{"value":{"entity-type":"item","numeric-id":507380,"id":"Q507380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525633$B74F24DF-346F-4317-B703-9B22CE5B2AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cca7caa26c1edecee311baf10734f3d68d8795b","datavalue":{"value":{"entity-type":"item","numeric-id":960854,"id":"Q960854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525633$D3F9E9D3-CFAE-4BB8-B15E-A6A809DF7F0E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d33cde76bd73dc5ee329bf4c0e45fff7e5611f64","datavalue":{"value":{"entity-type":"item","numeric-id":3525625,"id":"Q3525625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525633$5545949C-00F8-4EEF-A3E1-12AE3E1D157F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d1b92a0ce5c23dfe591778f902d0760e02cbbe13","datavalue":{"value":{"time":"+2008-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3525633$B5973F53-B722-494B-81C8-053C5E582688","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525633$E5C57782-2E25-4B60-9188-9F048A2E4D0D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3750fa0b85032ea7a7159e6f2f3cf011a35423e9","datavalue":{"value":"5344920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525633$D19AA20B-8C02-4B01-BDD1-DB1FAE546BA1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f9bb97caa1b11dd3b37486ee5da77a7d7674ba6d","datavalue":{"value":{"entity-type":"item","numeric-id":15497,"id":"Q15497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525633$470A5DAF-3052-4CD5-9C31-B057EC3A94CE","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":"Q3525633$E537638A-EB07-4D32-A7F0-9675955D88BD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e37926f0b59ba606eaa4099ce9471a47378825bd","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74407-8_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3525633$C8709EEE-1EC7-4C8A-BA01-EE5DF6D3EE15","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aaba10706749785b8ff0fec94aeba22d224ec093","datavalue":{"value":"W2125656483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525633$37114E96-2703-4A30-9272-603126FD5029","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"332e772fe0a808e87c8b45b623fb424c6372a321","datavalue":{"value":{"entity-type":"item","numeric-id":5311482,"id":"Q5311482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cacba8d0665a6437eb0abf077011ac74e2b7961","datavalue":{"value":{"amount":"+0.8234268426895142","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":"Q3525633$878E499E-F992-4939-885A-15B8EA575067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bde571dc989a7055b710a38e8dcd3ecb158ea3ba","datavalue":{"value":{"entity-type":"item","numeric-id":2571204,"id":"Q2571204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b9d1fe768c36992eb5ccb0e58fc7cea5cf3abca","datavalue":{"value":{"amount":"+0.8208540081977844","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":"Q3525633$C432BD8D-55D1-4833-A43D-5BEE657BA1D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93b169ac0b6ae979ce11d8bfee6e252e9a990168","datavalue":{"value":{"entity-type":"item","numeric-id":5505619,"id":"Q5505619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ee1b33e189a7e5c15c0ae388f9da09ad00a37b7","datavalue":{"value":{"amount":"+0.8049930334091187","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":"Q3525633$6FA94498-C1E6-4A32-A1E6-7AEA18229903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"621ad02f400cbd004b143fb52a7f7145be65c0a7","datavalue":{"value":{"entity-type":"item","numeric-id":716322,"id":"Q716322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96cb9c09735fef2a0ec4c131e8d45ea8f019cbfb","datavalue":{"value":{"amount":"+0.7938050031661987","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":"Q3525633$AA4500F2-CC00-4EB8-AD2A-1770C77A78E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14f055259f511d1e8387168ee9a8a682aa5660b1","datavalue":{"value":{"entity-type":"item","numeric-id":3617762,"id":"Q3617762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84cdd300d4c82f9579d40eafe201ffbf4c9bd27e","datavalue":{"value":{"amount":"+0.7718693614006042","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":"Q3525633$390F158D-C574-4EAB-9FEC-C6D02643CE78","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3525633","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3525633"}}}}}