{"entities":{"Q5256357":{"pageid":7285925,"ns":120,"title":"Item:Q5256357","lastrevid":40757111,"modified":"2025-04-04T14:24:03Z","type":"item","id":"Q5256357","labels":{"en":{"language":"en","value":"Pragmatic Formal Specification of System Properties by Tables"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6448719"}},"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":"Q5256357$BD8506B1-33E8-44EE-AA29-2E42A7A6CAB3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e47ac307224bf59514fe11c258b56520237cab5","datavalue":{"value":{"text":"Pragmatic Formal Specification of System Properties by Tables","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5256357$DC677A4C-07B5-4F30-A6DF-5B1B0EFE045F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de537355a41cf0b48a19ab832370ebde9aa11375","datavalue":{"value":"1454.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5256357$670EA7E1-C7ED-4DF2-8526-D394F5FBAC54","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"247b3ec893793795e0a8930e34ea049e6dee3fa3","datavalue":{"value":"10.1007/978-3-319-15545-6_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5256357$AC507025-2964-4091-A4CF-76A649921FAC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8fe0ba64045f6b8bc93a417d90524c47759b2541","datavalue":{"value":{"entity-type":"item","numeric-id":213032,"id":"Q213032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256357$93AD4007-3052-4EC6-8381-B7ECAF20D9E5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c5e0fb570f569e128c7aaa0023b42f1ff2ef5c78","datavalue":{"value":{"entity-type":"item","numeric-id":5256327,"id":"Q5256327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256357$FD96B494-6E77-4509-8E4E-0CD470C7F6CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c80eedd2756b3c5cb35bb218ffa4134f7861c0b9","datavalue":{"value":{"time":"+2015-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5256357$090D1626-AF44-475A-96EA-59B17B6B7A77","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5256357$31A795B9-B023-4785-8690-F47952EA8135","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dbbeb8e1e35cc6f2f07ecdd1532b40393ecd1981","datavalue":{"value":"6448719","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5256357$3F97DD11-E3A8-4162-9843-C7E3F1736F80","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c408169caceb667dd97c6c7b1e1843ace02f95a","datavalue":{"value":"dynamic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5256357$4440F76A-C4A5-4DE3-9654-86AFDAFF5364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"941cf2149e8d408a2759797bfa7a752aa8823307","datavalue":{"value":"mobility","type":"string"},"datatype":"string"},"type":"statement","id":"Q5256357$599ADF0B-E288-4569-99D7-F2A821EB59AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33ecf041eedbe3fee8d29905fed91e77f22410fe","datavalue":{"value":"instantiation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5256357$7C1CCED8-AC6B-43F1-9AFF-BBE4175AEE79","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":"Q5256357$7BB861D9-F1D4-44DB-BF22-986987287CD6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b5aea6aa0609a6a79c08c9c69c4168f0247aa1c","datavalue":{"value":"https://doi.org/10.1007/978-3-319-15545-6_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q5256357$1B210DD0-4B69-49C8-B7BC-032E492CEA7B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7f95e9a58892369ce56b1bbb5f6b2bc62c09a463","datavalue":{"value":"W651549231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5256357$E9C6156F-2324-46CC-879B-92D0355C4967","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e5f054a40397cdf4cf999cdae6ccadb829064c","datavalue":{"value":{"entity-type":"item","numeric-id":4885876,"id":"Q4885876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256357$C73C53EB-8020-4F60-95BC-68A16873DA1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b227139edcde8ba98c5977b5b993c30a5f9faa71","datavalue":{"value":{"entity-type":"item","numeric-id":4261731,"id":"Q4261731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256357$E0727C20-E0C2-473A-9CA6-D4ACFDA14892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1c64aa77167c6580cd7c8c676f0c865faa32857","datavalue":{"value":{"entity-type":"item","numeric-id":4385539,"id":"Q4385539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256357$87E06175-B092-4AFF-985A-BE8FF4265DDF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8a963a15464d8122c71dc5dbff13a3af1d9345d","datavalue":{"value":{"entity-type":"item","numeric-id":5929014,"id":"Q5929014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6001948cd3ee25d8bd4b029c03e4ea18008e6146","datavalue":{"value":{"amount":"+0.8496631","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5256357$6C380980-CDE0-4339-9485-0C3935695E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0e084505900c0a754769565ace8c9644baec0e6","datavalue":{"value":{"entity-type":"item","numeric-id":5689986,"id":"Q5689986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a577b1501c4599ce8f3f8616d0d9f754999f34b","datavalue":{"value":{"amount":"+0.8412204","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5256357$EBC9228C-8A34-4F06-8ABF-31F187BCD55E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9859d1fbda8e061122f0fa77b43bfe1fa08a027","datavalue":{"value":{"entity-type":"item","numeric-id":2487874,"id":"Q2487874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0d4a11f38b91b046c5379d69c6f316b554b54e8","datavalue":{"value":{"amount":"+0.839602","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5256357$C3D88F07-282C-43E5-BF79-E0077D9C336A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85dbfb76d7bf9837fe4b62e182989dbdab3af08c","datavalue":{"value":{"entity-type":"item","numeric-id":3604365,"id":"Q3604365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce82765d4a7242a5bd535bc0714919881430a57f","datavalue":{"value":{"amount":"+0.836004","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5256357$8A523286-71F0-4344-BAA8-1F627C44B6CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b551bf2ced4fadba8a9312d9c7f33bc2453f30b0","datavalue":{"value":{"entity-type":"item","numeric-id":5740355,"id":"Q5740355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0bd29287b0c9f94e1bb83eab2a6150c9761ae49","datavalue":{"value":{"amount":"+0.83599454","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5256357$30BA577F-9D1E-46C0-87B3-A6E895311474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1879fd9138001b632cd5609e61e2d2f7dfb37d90","datavalue":{"value":{"entity-type":"item","numeric-id":2096470,"id":"Q2096470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0cb3b9ef8b1c15fa68d498408d0e8810612d0d5","datavalue":{"value":{"amount":"+0.83055216","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5256357$20C66D93-31CB-4A5F-87B2-E58146FEEE65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"409090f2a0f7c32199b1cf5c404461440c75f20e","datavalue":{"value":{"entity-type":"item","numeric-id":2767081,"id":"Q2767081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ccf4a4691b0640b6a0a3f2f8831a91ec29736b7","datavalue":{"value":{"amount":"+0.82898986","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5256357$B8E6F4CD-20F7-4319-B02B-B9A4E387EDDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31681001248c0b55574e0f95a6f392c4e83ef367","datavalue":{"value":{"entity-type":"item","numeric-id":2351147,"id":"Q2351147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db17f37308981d8777341f6d8ef58611f427e4f7","datavalue":{"value":{"amount":"+0.82497865","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5256357$5F0A6C97-04A8-476B-BF60-90E9FC1522BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74abf8584670ab2f6a4c397dfe13f69f1592c45f","datavalue":{"value":{"entity-type":"item","numeric-id":2863885,"id":"Q2863885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d503493cf3e16c0d69d11863c542af8ff975fd59","datavalue":{"value":{"amount":"+0.82418174","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5256357$BBED1276-4ECB-4F3C-AD8F-862631636933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49d1acbb5cafffffd0902c3d5788f80a60bc7b91","datavalue":{"value":{"entity-type":"item","numeric-id":2851946,"id":"Q2851946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d425d41e0d4c7b1e6d37b52384bfdb4bb3f8f48","datavalue":{"value":{"amount":"+0.8241532","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5256357$E9BDE639-30C9-4E12-ACA4-D1C7E868931D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5256357","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5256357"}}}}}