{"entities":{"Q1600653":{"pageid":1611393,"ns":120,"title":"Item:Q1600653","lastrevid":70940772,"modified":"2026-04-13T18:23:16Z","type":"item","id":"Q1600653","labels":{"en":{"language":"en","value":"Generating model checkers from algebraic specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1756336"}},"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":"Q1600653$C256B39A-A6FB-4815-BE5F-B8B690B4A94A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f1c76cf446d458f63f4aef248bb3681a6b3cdf2e","datavalue":{"value":{"text":"Generating model checkers from algebraic specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1600653$76013676-CE27-41A3-B135-0C4FF1DFA77F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"12473014eb7b53e04874a5912bb69a6b05c00e8e","datavalue":{"value":"1017.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1600653$079AC027-9F92-4F0B-A4C8-AD3DC0B75A0F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"159157d4054afdd58c5bfa3da94129368471c8f5","datavalue":{"value":"10.1023/A:1014742013173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1600653$882DC77F-240A-4735-8DC1-8628EC4779A2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7420153a881d0b0533813766e67a09d1f9c5c2d5","datavalue":{"value":{"entity-type":"item","numeric-id":1129125,"id":"Q1129125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1600653$A21DCBFC-F08E-4F1E-BB46-59591A131674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"96501349286f24561e253150e96715ba9069752e","datavalue":{"value":{"entity-type":"item","numeric-id":995472,"id":"Q995472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1600653$D6BD63CB-2FE5-4AD3-8EE7-CB624E94D912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"855c61b0f76e3778c6533d937d2584494b170c8a","datavalue":{"value":{"entity-type":"item","numeric-id":1330070,"id":"Q1330070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1600653$386886C7-104F-43FA-BA3D-78827AD5D3B2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1600653$0C42CD37-563C-42AB-9F65-041AEFDB1CCE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"456c8c6068f5f9f6deacb4e2d51a2b9ec66d8bdc","datavalue":{"value":{"time":"+2002-06-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1600653$F8B22464-CF36-4E74-984D-11B982F463EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1600653$2E4AC92F-1CBF-4615-9723-9E0D9F6B852A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8669255151458e5f9a3b6558e95ecb25c24f001e","datavalue":{"value":"1756336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1600653$470FE7D7-CF3A-4D44-8119-766922E4DFA8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"347c402687c507725345908aa8cc41ad30fa0dc0","datavalue":{"value":"model checking algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1600653$2004A295-41CD-480C-BE27-D227BBD3F088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06fb25e28b4647f0be46cf8d305e95698c149477","datavalue":{"value":"algebraic compiler generation tools","type":"string"},"datatype":"string"},"type":"statement","id":"Q1600653$F5F81519-D17F-4599-9085-0B1E470553C1","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":"Q1600653$A11F21AD-021E-4D90-9FC5-B748AEBD3F26","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa5c8c6b024ced56a76eaa9541bb0c1c59b17ade","datavalue":{"value":{"entity-type":"item","numeric-id":3095705,"id":"Q3095705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3484d45733269c83c9cf0075534487d86a6a1c17","datavalue":{"value":{"amount":"+0.8702136874198914","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":"Q1600653$64BAF934-1B1E-49D3-8350-05A335DED5A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5651a3859cd5370e6d57a0e9f77719e4a21ded3","datavalue":{"value":{"entity-type":"item","numeric-id":5754533,"id":"Q5754533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29928b875e45be26458cceec9353dd37ed5f79fe","datavalue":{"value":{"amount":"+0.7900495529174805","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":"Q1600653$FD0CD405-D113-44D2-838E-0938AFE26B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ebfb906a9656037721472a56ba99dbe61d2c330","datavalue":{"value":{"entity-type":"item","numeric-id":4885877,"id":"Q4885877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a89b21b421cc001f1fa8cfa38171a407cbf1cde","datavalue":{"value":{"amount":"+0.7820612192153931","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":"Q1600653$1769E8F0-35B9-4143-870A-2FFB98BF673B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1efbdcc87bdf4d278948a3598f0651896e7d1486","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a89b21b421cc001f1fa8cfa38171a407cbf1cde","datavalue":{"value":{"amount":"+0.7820612192153931","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":"Q1600653$1C9D8A7E-C100-492C-89BA-597FC4C9ACE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0548999ea3819cfce247dbfee40327015b772f00","datavalue":{"value":{"entity-type":"item","numeric-id":4474227,"id":"Q4474227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8e6af7b264bba23db67e4d0b84449e016c0a033","datavalue":{"value":{"amount":"+0.7662017941474915","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":"Q1600653$2D9A6218-C662-4705-9D98-4564283D23D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generating model checkers from algebraic specifications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generating_model_checkers_from_algebraic_specifications"}}}}}