{"entities":{"Q3341880":{"pageid":3352588,"ns":120,"title":"Item:Q3341880","lastrevid":46002613,"modified":"2025-12-21T13:22:53Z","type":"item","id":"Q3341880","labels":{"en":{"language":"en","value":"On the strength of \u201csometimes\u201d and \u201calways\u201d in program verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3876573"}},"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":"Q3341880$4C385D0A-87E1-4BB6-BF10-D5D4A157FAFD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd8bd113a1f7aa235f2d6acd55bb56593bd5943e","datavalue":{"value":{"text":"On the strength of \u201csometimes\u201d and \u201calways\u201d in program verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3341880$2D36E9DD-A766-479A-97D7-C67C67C034A8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"745d1b1b898514c7ca2320677665b103f6f37963","datavalue":{"value":"0549.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3341880$D2CDDCC7-2936-47CF-BE46-88919DB86A2B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6601ba602bb1190f69278e7034822c94387a255d","datavalue":{"value":"10.1016/S0019-9958(83)80042-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3341880$2722FE78-1B3E-4A26-A6CD-9B0395C8F119","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee4e70b5a3726ad737c6aa92da85e135ebf1b133","datavalue":{"value":{"entity-type":"item","numeric-id":247008,"id":"Q247008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3341880$EA111C1F-24D0-4F8C-A64E-9917B85E64AA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4434820098e3b6c980c31814818af7c68f56bd22","datavalue":{"value":{"entity-type":"item","numeric-id":2832035,"id":"Q2832035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3341880$38713F90-05EC-4E81-B08E-84927CC5DB1B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q3341880$62995669-7D96-4951-B105-5B50E916BBA2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3341880$6277B5BC-076F-4516-B2CC-A79044FAF406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3341880$E0835CB5-2D00-4295-A52C-CC169A0D3AA3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1d140bcb2561b011146a1445f20d8576f45e153","datavalue":{"value":"3876573","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3341880$22532191-1817-475A-94CA-EB2D5D989180","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81ca082704835ca81eec06aea92b24311f239768","datavalue":{"value":"time quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3341880$CEFE87A3-95AB-43BF-9377-8D054C16A0C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a78c5f39814905de4365c2940c1457690f6a43f","datavalue":{"value":"sometimes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3341880$CF75B3B2-F71F-45FE-BE8E-FB4F36A790C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a952b4a9d31d83f7b24811d02df13d6a60c06528","datavalue":{"value":"always","type":"string"},"datatype":"string"},"type":"statement","id":"Q3341880$DA9D7F56-B6E6-4156-8342-C299E6271884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c6b234052d577bbfc0605fdbf112f40bb1c4228","datavalue":{"value":"loop invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q3341880$74733DA5-498C-456A-9D21-7613340C65E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34408424114b1d7f79c4cecaa20bed5d0faca616","datavalue":{"value":"nonstandard dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3341880$FEFB529A-FA99-43DA-8404-914EA29038BE","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":"Q3341880$71F423B8-4991-4706-901C-E28E8FF994D4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de7df7f3f6061628dba9b29c57ea5d12b9e0fa6f","datavalue":{"value":"https://doi.org/10.1016/s0019-9958(83)80042-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q3341880$F366B470-83A6-4343-A710-25C56155587C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3413d5b07ee3b940d6c24fd309e122cbd5180c7f","datavalue":{"value":"W2047004999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3341880$7854B4F5-5E4B-4C6C-8B98-DEE9D90CBCBC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fe603bd2816a7377c708a6d590b5e092b2b23d8","datavalue":{"value":{"entity-type":"item","numeric-id":2963953,"id":"Q2963953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06be3dcf53784fb8ccdd6a5e22b2bb021930b8e0","datavalue":{"value":{"amount":"+0.8809038","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3341880$90A5B21B-9E3B-4C43-9838-C556AEC532A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab116f62a0b733ec0afd5e508aec01a388df675d","datavalue":{"value":{"entity-type":"item","numeric-id":3685173,"id":"Q3685173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"318a2da4e397fe31a67b98d35249d7ca9a5be9b2","datavalue":{"value":{"amount":"+0.86306804","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3341880$8C06C6DA-E969-4D89-8BF4-A3F21E92EDEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4ab1d3a3f59c967d01e2e6ce90754107df83dab","datavalue":{"value":{"entity-type":"item","numeric-id":4934533,"id":"Q4934533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37ee5b36ec8549e86d4cdfca5e6e716b0037312f","datavalue":{"value":{"amount":"+0.8600273","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3341880$B19611EB-2EAF-4A71-A696-AB4DE2A1A531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a02b29d7597963d4fcaac34a191b0fd3e26e44e0","datavalue":{"value":{"entity-type":"item","numeric-id":6039396,"id":"Q6039396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36fd61aee7d4b675d3fe90fc5b9b3a0b6889cb6e","datavalue":{"value":{"amount":"+0.8587074","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3341880$0C40531C-C7E6-40D3-8B76-4888A6A46321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"195341238ec884fef4c1d57e3b631063fc7b6ed0","datavalue":{"value":{"entity-type":"item","numeric-id":3189808,"id":"Q3189808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5efcd71620644a0bf3d96f81735926bb00656896","datavalue":{"value":{"amount":"+0.85794365","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3341880$AF02EA59-F6D4-412E-899C-F8D86C50BD5B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3341880","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3341880"}}}}}