{"entities":{"Q1317433":{"pageid":1328183,"ns":120,"title":"Item:Q1317433","lastrevid":70128561,"modified":"2026-04-13T12:37:48Z","type":"item","id":"Q1317433","labels":{"en":{"language":"en","value":"Semantical analysis of specification logic. II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 529885"}},"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":"Q1317433$C8C9F67A-F25B-44DD-A236-328D26AFA360","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"66772ab2aee0886edc641af6f2695a216359c480","datavalue":{"value":{"text":"Semantical analysis of specification logic. II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1317433$6167DD86-809E-47AF-A3AE-85F7050E8A6A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ff18ef31a0a73eae8f8d7a59381911c3696a7406","datavalue":{"value":"0797.68105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317433$6E9BA592-40F1-4446-8373-42CF85422CF4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317433$3EE2F2D0-CCE1-4624-92DD-1A60EC59E64E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf17ffed152fcfc225788e46045afef4af283259","datavalue":{"value":{"time":"+1994-04-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1317433$2DC8FDD0-54AD-41C0-B2AA-9504B8336131","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317433$6F030334-EC73-499A-A6DF-9C90C8C77F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317433$C2A2AF4A-975C-45A7-95AD-8F3DFFA47999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317433$763CFCA9-579D-42EE-9DAD-60710C5295BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"433c816353741dbabb4a8130b99075059176e577","datavalue":{"value":"529885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317433$80344B1B-3B1F-4217-B3F0-BDE41A4633FC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a68ba5872fe79be920eafdbd3ed7c7b13785eab4","datavalue":{"value":"specification logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317433$493275F8-E70B-47DE-BBC9-D6984140E3DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7400da7434ac77a825177077ac8ec555be19607d","datavalue":{"value":"partial-correctness programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317433$6FEAE522-7BD1-41DB-B011-BC89F10C7FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e94d246865574ca398dde4018f6fff2d8004b95","datavalue":{"value":"semantics of non- interference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317433$740B2774-D073-4CF0-BEBA-AA6989994AAB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c4e228a29afeb420d031832419eeb44a6dbdbe7","datavalue":{"value":{"entity-type":"item","numeric-id":736796,"id":"Q736796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317433$DF26DE8B-54F0-48BA-9225-27F53DA7B6B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"482a4cb474e5ce23a1233ad885cb07253d993741","datavalue":{"value":{"entity-type":"item","numeric-id":418808,"id":"Q418808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317433$D720A334-B173-49A9-A11C-8841AA6CC7A6","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":"Q1317433$A1929D96-A682-40E2-9AB4-8765102EFBCD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a0738f9c7a3070202c76a353c32171b730888715","datavalue":{"value":"https://doi.org/10.1006/inco.1993.1060","type":"string"},"datatype":"url"},"type":"statement","id":"Q1317433$0CC214E8-35BE-4CC0-A029-0E09EA3CDF52","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"37eac4ac42d384fc30cdbdbdafd64258c8f3c7e6","datavalue":{"value":"W3022825331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317433$FC177097-4DA4-42B1-A438-569BE4D7F079","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4b10ed639210a9901c8016a77c1b9865695c8216","datavalue":{"value":"10.1006/INCO.1993.1060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317433$DB598BDA-5325-4698-903E-86ACD670BA6D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6823695dd36e05f9c9872633755b3bcd846009cb","datavalue":{"value":{"entity-type":"item","numeric-id":3707398,"id":"Q3707398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"020d6c41a260c2cdb372b9bcdf6ddd58c6332f3f","datavalue":{"value":{"amount":"+0.9011730551719666","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":"Q1317433$A955B1D6-848D-436E-A113-4CCDE16D12F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b08dcc09d94789e757ef938fe4909ea8a0ffb36","datavalue":{"value":{"entity-type":"item","numeric-id":913527,"id":"Q913527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4708e967a3fd60b9a541273c57af1967b360c1d4","datavalue":{"value":{"amount":"+0.9011367559432985","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":"Q1317433$89FDECA1-EB4B-479A-A4F5-6D4C76F3335F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a916cf1409dfbafe4c2115673a257cc9161aebb","datavalue":{"value":{"entity-type":"item","numeric-id":5308703,"id":"Q5308703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbe7235e7c912dc5ed47e88ae8ae38cf08f1c75a","datavalue":{"value":{"amount":"+0.8349677920341492","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":"Q1317433$10809309-C6AF-4E91-9AB1-CC85366C4C58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"920a9b4736e3dc9bdd0f1f07e717de567cd54fde","datavalue":{"value":{"entity-type":"item","numeric-id":3678649,"id":"Q3678649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a125698204a35364ec5595c3e0eeef8232cf4efe","datavalue":{"value":{"amount":"+0.8330602049827576","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":"Q1317433$8AC3A904-6B2C-415A-BCB3-844EE566008D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beea412605d5c6d8074df56c64607561cf0be092","datavalue":{"value":{"entity-type":"item","numeric-id":4353361,"id":"Q4353361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b1844f8d39ed87174d438108ba77f00fb07f26d","datavalue":{"value":{"amount":"+0.794028639793396","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":"Q1317433$D7601572-A45F-48AF-8687-79477CD7D636","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semantical analysis of specification logic. II","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Semantical_analysis_of_specification_logic._II"}}}}}