{"entities":{"Q1941860":{"pageid":1952602,"ns":120,"title":"Item:Q1941860","lastrevid":82065557,"modified":"2026-05-06T20:01:03Z","type":"item","id":"Q1941860","labels":{"en":{"language":"en","value":"Temporal-logic property preservation under Z refinement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6148329"}},"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":"Q1941860$87067C1A-36EC-43EE-A786-A28FB6B65CA7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e8283a26637610226dbd5f22afe184274d0a3d8","datavalue":{"value":{"text":"Temporal-logic property preservation under Z refinement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1941860$B783A536-B871-4DB9-8B3D-CD3384F5D28F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fad0f101210b2f88bf822e0924f9cb17e3507534","datavalue":{"value":"1259.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941860$368D740E-F746-4783-99A5-C52DF9E8E8F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9aa5453cc5d3a8f61d68fac093f0c59d6d5be138","datavalue":{"value":{"entity-type":"item","numeric-id":202499,"id":"Q202499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941860$92B785A1-768C-4F25-A3F9-B534877EF79D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a643bb4d6b134508bc8c5fad926d147e7d14ff57","datavalue":{"value":{"entity-type":"item","numeric-id":202498,"id":"Q202498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941860$16C58B54-DFFE-4D56-A275-2227E4A89FA5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941860$4E3ACEB8-34E3-4D20-BCCE-B6C1BA500D7F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e2d14323b1d0cc86219aa2b95091e7f0ab18297","datavalue":{"value":{"time":"+2013-03-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":"Q1941860$46DB8E21-A191-459C-A680-2DD11AC0352B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941860$7C4DC2B4-CA5E-4117-B329-740A574208A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941860$02AA2E03-9487-4064-B687-2D2C192AC6E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56aef32d81321ed0bbb9a918b15788ad06c21667","datavalue":{"value":"6148329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941860$57225E22-8245-4148-BA04-A44CF4E0C760","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941860$69B2295E-D279-4F22-B7D7-895AD5F66381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30fafc44265dfa91ca2c1422c4fc2ccc0afa28bf","datavalue":{"value":"Z","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941860$7038F1B1-D6EA-4D4A-8202-4443EB038CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941860$D64656C2-5462-4CAD-8C80-3A6782445A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34f28a17a7ee9409e08b5c6f3204907c2ea0568f","datavalue":{"value":"property preservation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941860$22EB4376-3FCA-4F06-85DA-6B103B338C89","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"63f3cfa850ee575905315af13198b25969684fa8","datavalue":{"value":{"entity-type":"item","numeric-id":19145,"id":"Q19145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941860$33EA8211-98A5-41EA-9D88-12D95B7F5BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"56183f18c1b7292025f517695163436751950f86","datavalue":{"value":{"entity-type":"item","numeric-id":22253,"id":"Q22253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941860$91EEFF4D-8133-4B7F-A621-A40E5B5116E9","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":"Q1941860$B9079F01-4AD0-48A1-A012-B4CA0F435A93","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"991b0a4c60990cd917fc2962f5b9997a969e4a4b","datavalue":{"value":"https://doi.org/10.1007/s00165-011-0177-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1941860$7F3F9D72-23C0-4139-B020-83A14BDDDD1C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b1c8ae3498acabfae82fd05702d3ff5400aa2ddb","datavalue":{"value":"W2079360995","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941860$8A04195C-74CF-4302-A2C8-F44ABE4E11BB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941860$3A444601-9710-4D5A-836D-BE7B53013B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41784b41e82c7d8df17e662f07c318e13e61df41","datavalue":{"value":{"entity-type":"item","numeric-id":2432234,"id":"Q2432234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941860$72165313-C666-4D61-A299-61C70A38309E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26b89896d12727ad637f84067fae27b2c42f93ee","datavalue":{"value":{"entity-type":"item","numeric-id":2760241,"id":"Q2760241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941860$3643CF0C-4065-48EF-B9D0-FC95FCA6C2BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56a73e45d8a02c02a1a7e4eee577edcddc70f907","datavalue":{"value":{"entity-type":"item","numeric-id":2724177,"id":"Q2724177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941860$E3396514-0323-4609-AB71-19C9A5B85002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"388c5e3abed55eae8db7886420a364df03aca78f","datavalue":{"value":{"entity-type":"item","numeric-id":706513,"id":"Q706513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941860$4F7E9D69-1A2B-4A71-9F35-4F6310F0165E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"623619071b024e7792bffe623a1f704ecbe967ae","datavalue":{"value":{"entity-type":"item","numeric-id":1098303,"id":"Q1098303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941860$55B6C084-501B-422A-A7D9-A654C78BC328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f6c194330051269cbb2031658aa6b4220e257c","datavalue":{"value":{"entity-type":"item","numeric-id":4702189,"id":"Q4702189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941860$C22340B1-7EB2-493C-977B-D39DCF12694E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941860$1ED99EEB-BF8A-4F90-A8BF-EFBD80C02785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca796b91648fb86030a62c7715ae255b6f71a7bf","datavalue":{"value":{"entity-type":"item","numeric-id":4436980,"id":"Q4436980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941860$1976ED32-5745-4DB9-A3BB-75AF10AE3B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66930857d878a57fdc790648136b97860b4ebd5d","datavalue":{"value":{"entity-type":"item","numeric-id":684396,"id":"Q684396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941860$C549C030-67D7-43DA-B3F7-2EDD9CC1247E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d643c9519505ce70f954afc2ea3c543e896e9fb9","datavalue":{"value":{"entity-type":"item","numeric-id":578901,"id":"Q578901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941860$4016BBFC-3A42-45E7-86EB-227E8FD7A58E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e07930ce4911f611d084d7578c97cdc8fb3f729","datavalue":{"value":{"entity-type":"item","numeric-id":2763694,"id":"Q2763694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941860$029DC7DB-017E-48BC-A347-85C8ED108AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a98e1d68003b0040c15c163e66f3fd9578fb9386","datavalue":{"value":{"entity-type":"item","numeric-id":3997074,"id":"Q3997074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941860$90EEC7EB-CADB-452C-B114-EE7FB2885F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"627099f47bac5b2643bc8e477e32bf5481c9c90a","datavalue":{"value":{"entity-type":"item","numeric-id":4805348,"id":"Q4805348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941860$21D0872A-C767-46D9-878F-306697B1E3E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941860$4E767BC9-8B24-4D90-9803-AA7012E27DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54a6320002eee51efddaa9f2f4a03f37bab8991e","datavalue":{"value":{"entity-type":"item","numeric-id":1346649,"id":"Q1346649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941860$0DA5B3D4-69D1-4D16-9540-8DB240311CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e3243e80a4e0ef20e36499ebb720b55a5c39f9e","datavalue":{"value":{"entity-type":"item","numeric-id":2763965,"id":"Q2763965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941860$AD0A0E3C-6246-4065-816F-9787C2411715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e279107c1bf5c9d2930df902614801cf2fa8b4c3","datavalue":{"value":{"entity-type":"item","numeric-id":1899913,"id":"Q1899913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941860$A5DF140B-732D-4AE0-966D-FC99FED9AE79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941860$13F7B0E7-F3AC-4018-A6DA-F255B85149DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec785066f721fdcdca6ad8622011c52b3fb6052d","datavalue":{"value":{"entity-type":"item","numeric-id":1158954,"id":"Q1158954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941860$0ACB2936-3739-4535-8950-1D20A4EDA065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29ec50c431c869aae6c87efc3ae8456125ee8d17","datavalue":{"value":{"entity-type":"item","numeric-id":5312975,"id":"Q5312975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941860$98E9186A-3F8A-4C34-B1BC-5B80B745CCAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2185699a6442c395c0dc5c871eedf78d99a845ad","datavalue":{"value":{"entity-type":"item","numeric-id":4940107,"id":"Q4940107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941860$8BABD00D-60C7-4645-9098-ABCFCDF7F920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9085e5095b4a243fcdda1ef313e71287317f8221","datavalue":{"value":{"entity-type":"item","numeric-id":4436972,"id":"Q4436972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941860$7DF996DB-4B78-494B-9BA4-94024C7DC15F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dabaf51b56a39ab5e77ecceb8bdbacd5e63a1e93","datavalue":{"value":{"entity-type":"item","numeric-id":5703821,"id":"Q5703821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941860$AD0E5D75-8F8D-424A-9917-60FAA659D3AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bde89a2565987f3fce774ef2cf6b25f306124df","datavalue":{"value":{"entity-type":"item","numeric-id":2760238,"id":"Q2760238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941860$10796CE1-DFF1-4FC5-A3C9-53F2EB9E2B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc22454e59c42890989b223acb2a7da42f9239c9","datavalue":{"value":{"entity-type":"item","numeric-id":4301167,"id":"Q4301167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941860$EAF2DAAB-19D8-4D98-AD02-E619E6F73A17","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a63dcaa6da17a616f5ddb8e5371644bc4b902f0e","datavalue":{"value":"10.1007/S00165-011-0177-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941860$9CB94D3B-DCA0-450D-8D7C-9421BF8B8B8C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36b1efd97a951861b8990df171beaa68e1a39d48","datavalue":{"value":{"entity-type":"item","numeric-id":5312975,"id":"Q5312975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c28ea105b896da5edbb47722887bff72d53ecbc4","datavalue":{"value":{"amount":"+0.8694249987602234","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":"Q1941860$AD4B0067-938E-4C72-91CD-76AFDCA3BCC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8559dc71c91abf55f33e4444d06008bccd042824","datavalue":{"value":{"entity-type":"item","numeric-id":4436972,"id":"Q4436972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa64656de3661d9d7150a1590b4a704f617c50be","datavalue":{"value":{"amount":"+0.7954959869384766","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":"Q1941860$F9E65EE0-4C88-4FE7-88BA-402B60F2E4CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c433e74673e6cc6040f2458a29df299aa9a9b2d","datavalue":{"value":{"entity-type":"item","numeric-id":931435,"id":"Q931435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37202f36c9234d29f4a70ac9f6286466cec99485","datavalue":{"value":{"amount":"+0.7758091688156128","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":"Q1941860$98E36541-CE8D-432F-B1DC-DD446097CD45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50f2080ffe7b6af8141029c0c2703ac6b39c5ffb","datavalue":{"value":{"entity-type":"item","numeric-id":2844822,"id":"Q2844822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d8645316411aac6b6adcb5351c9ca8b6a34b61d","datavalue":{"value":{"amount":"+0.7722731232643127","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":"Q1941860$1042234D-3765-4388-9D38-01DB1A0E10D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca288bbdbca3b84679173dd06195a3f779c86371","datavalue":{"value":{"entity-type":"item","numeric-id":851129,"id":"Q851129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0b16802a9808b09e7d16783a60138a69fecaca9","datavalue":{"value":{"amount":"+0.7689951658248901","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":"Q1941860$86FD3AD4-A599-4F0C-BA92-FF6A801D3253","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Temporal-logic property preservation under Z refinement","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Temporal-logic_property_preservation_under_Z_refinement"}}}}}