{"entities":{"Q3179178":{"pageid":3189886,"ns":120,"title":"Item:Q3179178","lastrevid":52706039,"modified":"2026-01-23T07:56:38Z","type":"item","id":"Q3179178","labels":{"en":{"language":"en","value":"Program schemata technique to solve propositional program logics revised"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6667352"}},"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":"Q3179178$302AF942-4378-4077-951A-B20EF8533040","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"80dc6076646e5a9b0cc0ea40fecbf60f42fe4b1c","datavalue":{"value":{"text":"Program Schemata Technique to Solve Propositional Program Logics Revised","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3179178$D9A5233B-4A79-4571-9FF6-F51205CB595F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0cf10f5c93912f0f012cc98a9af34107fa91302f","datavalue":{"value":"1461.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179178$8B8C3FE7-5C38-4BA3-B61D-721A921269B1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"49318a61ea594dbf088ad25ac2d78b3268701e99","datavalue":{"value":"10.1007/978-3-319-41579-6_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179178$00F7F858-0184-49F7-AEDF-F61B034CAF02","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"29ee6d4e04c183e5bb6b0ff5941f040ab93517df","datavalue":{"value":{"entity-type":"item","numeric-id":174087,"id":"Q174087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179178$098FC8CC-A4C1-44A4-B35B-C3EA1ABC75C0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179178$9079547E-18F3-4162-A9D0-CBE97B986059","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3828a03a027ab495f54f036846c4548856b1f3df","datavalue":{"value":{"time":"+2016-12-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3179178$84384660-C729-4943-9CCE-0A5C5C9B476A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179178$4F8872E1-3E94-47C7-8A46-A0E717A08AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179178$AA5E8090-D60B-4887-B89C-13F150768830","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f380aeb1d2c950675f07b3bb1a9ae65b3a5288ad","datavalue":{"value":"6667352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179178$92518CBC-5A2B-4F0B-B15B-1717CE55D833","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":"Q3179178$90BBB6FD-F74B-4288-BDFF-DAF097287E48","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1449c3e9739b2705e4c6b4056a3d83122e5d17c2","datavalue":{"value":"https://doi.org/10.1007/978-3-319-41579-6_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q3179178$9AE96B4A-1C13-4848-AAB5-6ABC9A61E66A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3cd49ad4762af9f1d4371deadb5b6593809f1a8c","datavalue":{"value":"W2506909121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179178$9B485310-5A95-45DB-93D3-9EF4C162E509","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b700a9ff894e410108e84c5a088e66a026d9db4b","datavalue":{"value":{"entity-type":"item","numeric-id":4268874,"id":"Q4268874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179178$85F1050D-9278-42D4-81E0-A5C907BFB09C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f1dd2484e7f7b7a4718a9f02392553a76793f28","datavalue":{"value":{"entity-type":"item","numeric-id":3996602,"id":"Q3996602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179178$E7DB988B-EE2B-4E27-B388-5E84E6933C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179178$5C930E63-47B4-4FFA-8EDB-B5F9189CCEDE","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":"Q3179178$84B8E7C3-5949-49F2-AA0F-E306C4B7554E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e1b32ec12ead1b85f8ebcef7e1e02c991e39ecb","datavalue":{"value":{"entity-type":"item","numeric-id":3043794,"id":"Q3043794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179178$AABE4098-5761-4D98-A951-36A3E704FE54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d59e4a7ddb6ecf376a4c636f9183b14a2a08a78","datavalue":{"value":{"entity-type":"item","numeric-id":1392141,"id":"Q1392141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179178$F24D2AC5-B329-49BB-847D-FD3BAEE74F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a943934878d55433737b40aea63df43775f5614b","datavalue":{"value":{"entity-type":"item","numeric-id":4982354,"id":"Q4982354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179178$57FC4B20-9E3C-4F60-9DC0-8795EA67C925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179178$9E659701-A68D-41CF-8B53-09D11CC3F9A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a659b2cbd537713eeed2150669304c9e3e0f0e","datavalue":{"value":{"entity-type":"item","numeric-id":1854336,"id":"Q1854336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179178$1FBE1D59-BFBF-4B22-BCD4-965093803889","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbebf44eed5f58721bc7e4624cbe3f5670f3512b","datavalue":{"value":{"entity-type":"item","numeric-id":2216719,"id":"Q2216719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11f62ce835323f59be420af6b54ba13bc71ff672","datavalue":{"value":{"amount":"+0.8840287327766418","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":"Q3179178$229F9086-2CA7-4A61-A17E-7ACC7710111A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e06aebd6284d938969549290351f8a51a6620cba","datavalue":{"value":{"entity-type":"item","numeric-id":3483264,"id":"Q3483264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd84853bbecdc9f4fba7a67e02d88215800289a4","datavalue":{"value":{"amount":"+0.8115327954292297","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":"Q3179178$35457747-5C33-4649-9F0E-2556C6D440FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cb55ffba604c460a59c5a8868fbf886c3cede70","datavalue":{"value":{"entity-type":"item","numeric-id":3034804,"id":"Q3034804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06d489e523bb6467314fa1dfbfc1b40c2da6f3c0","datavalue":{"value":{"amount":"+0.8078314661979675","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":"Q3179178$2FED54F4-7290-4233-80F1-DEA96AFF031A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1c6a7e04cb372ed23e9c84a4356966153fb1d53","datavalue":{"value":{"entity-type":"item","numeric-id":2996912,"id":"Q2996912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b4ed4aaf08996f5a6301a9285b599784c77b238","datavalue":{"value":{"amount":"+0.7817323207855225","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":"Q3179178$784B6DDB-C879-43EA-BACA-1B2A5EE48889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c9c919168938b5fe0011792d06c9e6350bc719f","datavalue":{"value":{"entity-type":"item","numeric-id":1183753,"id":"Q1183753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb3358ecfcea9d95b7288eeaf535866e9598edf0","datavalue":{"value":{"amount":"+0.7581710815429688","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":"Q3179178$62AA3FBA-9A26-4C74-9E35-479D0E61C0A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3179178","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3179178"}}}}}