{"entities":{"Q1095649":{"pageid":1106401,"ns":120,"title":"Item:Q1095649","lastrevid":69826824,"modified":"2026-04-13T10:36:46Z","type":"item","id":"Q1095649","labels":{"en":{"language":"en","value":"Proving entailment between conceptual state specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4028882"}},"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":"Q1095649$DF2F1E78-DF2B-4E14-9B44-20B30342FDCB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ed96d7ffefc3978bf14b19abc133b2d45fb2feb","datavalue":{"value":{"text":"Proving entailment between conceptual state specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1095649$8461B813-CA8C-4087-B5E3-4FDCD6A84308","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6dc5a7ed3a8f9ce4b109add4ae9721bbd42bc7ec","datavalue":{"value":"0632.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095649$D40F4E9A-F034-42E4-A82A-981CD6AF1341","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"139d42223c616684aef1f94740da2621ac2b4564","datavalue":{"value":"10.1016/0304-3975(86)90007-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095649$16F95F67-9EFA-4EBD-A28D-FB0BA04DFCF2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dfeaf8f2840402c0806ed3904330484ee088043c","datavalue":{"value":{"entity-type":"item","numeric-id":1095648,"id":"Q1095648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095649$CFD1C698-FB9E-4F3D-89CC-3EED8F366DA0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095649$2074D312-E389-4E20-A4AE-4584A9DB5DA2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1095649$DC222085-874C-4BA9-AA91-DDFB8A434430","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a0431628b680e2ddf694f2b230bbe7092a7ef191","datavalue":{"value":"See the preliminary version in Lect. Notes Comput. Sci. 213, 197-209 (1986; Zbl 0587.68020).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095649$6E8D3412-0CB1-443B-8730-BFE5C93EBC44","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095649$09DFA62D-DC44-4983-9145-52C91FAFBEDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095649$41018F97-FAAD-4A02-9C36-F48FE8E493B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f670e5d99b2224be0f91ca9915637b1650778fe3","datavalue":{"value":"4028882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095649$00871EED-A5A3-432D-AECB-5C12F46BEEF2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095649$681E2BE5-522B-4E0E-96EB-66D88D8A99E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1b211b4dd569b746945e55556358ad5d7610f9a","datavalue":{"value":"specification language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095649$8AA2B0FC-8E85-41DB-B852-A4F40DA3BF68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"baf96820799bfef2d372f33e4e21d56777dd8249","datavalue":{"value":"conceptual state specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095649$894C073D-FD43-4655-AEA5-EE8A13F9E0CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18bac15a5fc10b9d9cad7ab0e9a59c289f1ce978","datavalue":{"value":"entailment between specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095649$989CCE3D-43B0-470E-9C4D-101A294FCFCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d920e511859a59e51afc1a4422569dc5ac592ca7","datavalue":{"value":"simulation between machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095649$215ABD3B-EA43-4CC3-900E-53779D224854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"459d7269a9afbd2453d6cdc14c392714df119506","datavalue":{"value":"concatenation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095649$9D821845-52D4-4BE8-B0CE-12D6C5F84A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c36a3de1ecf54a0ff1528e473bebfb2a55fa7f1b","datavalue":{"value":"FIFO buffers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095649$9E2B876D-FF4C-4582-8B42-C0DDDFE974A0","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":"Q1095649$0EE685A8-17BA-4075-9E2C-D8EE522C733F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"efd943a3831a96829a5e61bbdbbba0b0d93166d7","datavalue":{"value":"https://doi.org/10.1016/0304-3975(86)90007-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1095649$68BA10ED-98E2-4117-851D-A86341269164","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cc391d19e22e5b6016b5ab9befe758a90dd25833","datavalue":{"value":"W1525901496","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095649$3F3638F0-B268-4532-A4DA-461033BF2E23","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4ecb8a103f63d32e54f44e8875faf11679ab820","datavalue":{"value":{"entity-type":"item","numeric-id":3832037,"id":"Q3832037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095649$16D9F06F-30C4-47EA-938C-3A78008168B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f87c691854819eec4f1d4808c08af46178b8c12f","datavalue":{"value":{"entity-type":"item","numeric-id":4168047,"id":"Q4168047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095649$09DE7DCC-E7AA-469B-B46C-43F265CB70FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db463348657cf41d5ff4d422c54e0c686e6e5dfc","datavalue":{"value":{"entity-type":"item","numeric-id":2554952,"id":"Q2554952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095649$DA921800-9063-48FF-95DC-BF6CDF93B26C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d21cbd0c791f083ee08a1e9e48b64281b87bb07","datavalue":{"value":{"entity-type":"item","numeric-id":3664404,"id":"Q3664404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095649$39C71CF1-69B0-4499-9379-A5601A9F66EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e09f7681257b92526d42b556170b42e07509410","datavalue":{"value":{"entity-type":"item","numeric-id":4745241,"id":"Q4745241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095649$034D76C2-7A3B-4FE8-B1EC-DC18ECA15F45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68d7877f5c06b692012bb89ac63c690d31fa44f3","datavalue":{"value":{"entity-type":"item","numeric-id":3942371,"id":"Q3942371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095649$51952456-86C2-4EB9-8100-238DEA9F15BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proving entailment between conceptual state specifications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proving_entailment_between_conceptual_state_specifications"}}}}}