{"entities":{"Q3535368":{"pageid":5565272,"ns":120,"title":"Item:Q3535368","lastrevid":50491244,"modified":"2026-01-14T04:53:19Z","type":"item","id":"Q3535368","labels":{"en":{"language":"en","value":"A Verified AsmL Implementation of Belief Revision"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5364554"}},"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":"Q3535368$938194E9-4122-4AB5-B5E9-FA7EA1EDEE2D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ace8ad534efa9e9ab7677f8bfc2685fa991c77af","datavalue":{"value":{"text":"A Verified AsmL Implementation of Belief Revision","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3535368$8DEE2560-B70E-4D29-990B-230D080D9868","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d9daf988409f71174cf38f2c83df7786ada85eae","datavalue":{"value":"1156.68468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535368$3DB36A2A-A346-4B56-9C44-F04C63DD35B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d216f740865e594e924a7decd0773ef88cb872b4","datavalue":{"value":"10.1007/978-3-540-87603-8_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535368$6D5C76F7-E934-479F-878E-49E65EBA31E0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1e134f54b434e40b1183bdd73e513d092e96978","datavalue":{"value":{"entity-type":"item","numeric-id":513342,"id":"Q513342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535368$3030AC45-4BBE-47C3-B6E8-0DB9FECA038F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"91aa34df3677c28e61d4b12884763794b2394a45","datavalue":{"value":{"entity-type":"item","numeric-id":196896,"id":"Q196896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535368$61EA06E8-785E-40A2-ADE3-B2EDBB3037D6","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":"Q3535368$4DCF2A0D-ED87-45FF-B6EA-593CBCC15FF4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7342eb678781e6dbbf20bef84e4f5955e6d62e0","datavalue":{"value":{"time":"+2008-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3535368$42F83352-CE70-4590-B60F-54C42EDEA101","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535368$03F3B9AC-F211-423E-974B-20D51B30D16E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535368$9CAB9977-E5A0-4D03-B0F5-48866D1D7422","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"98681a27405d482e458d6809a7603dc32fd064bb","datavalue":{"value":"5364554","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535368$E815239B-D209-4AFB-A436-5F7F9381377B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ecc86304e6e0168c486b1953bbd2cdad4880fb4c","datavalue":{"value":{"entity-type":"item","numeric-id":23309,"id":"Q23309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535368$6F66F87F-6F64-4E78-A138-54AECF6DC540","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":"Q3535368$3CA34953-CE22-4D4C-82ED-F1CA0F33782D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"12b3e43ca2fa4527ac35639d47cd21f2590f4033","datavalue":{"value":"https://doi.org/10.1007/978-3-540-87603-8_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3535368$1DC75336-8090-4BFE-AA87-E4FC4B5C2221","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4fb64266ce317befc8dbc1825564dba841c19aff","datavalue":{"value":"W1560488444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535368$33DF8040-9AB4-4EAD-8D65-AD782702A7CD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a58fd1c1d08ee970b5e620a3f873df3171087eba","datavalue":{"value":{"entity-type":"item","numeric-id":3699670,"id":"Q3699670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535368$D98E9AD3-E24D-4082-A464-74048E423E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"940db61a4220f435f122d823ed11b5923e43efbd","datavalue":{"value":{"entity-type":"item","numeric-id":4413678,"id":"Q4413678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535368$1FF30E00-1C72-4E99-A6E3-56F75B236127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3504d93a3dc2a805dbdbf84afc29e98ce792629a","datavalue":{"value":{"entity-type":"item","numeric-id":3541697,"id":"Q3541697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535368$27562561-11D4-49C2-9997-5EC626ECE197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d18cf84bd49d4a3b35fa5f91415e3b2e495c135e","datavalue":{"value":{"entity-type":"item","numeric-id":4429922,"id":"Q4429922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535368$AF7AC496-AF3A-4962-91D9-1A8285A7B59E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17346a948e93ca0127d7c9f941e453c6f4645fd4","datavalue":{"value":{"entity-type":"item","numeric-id":1399119,"id":"Q1399119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535368$E6D17B6A-1284-45B1-BDA1-16B12B254083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"170f07a0aaa6d1f92a2f193d1b2d61a6971a7c1e","datavalue":{"value":{"entity-type":"item","numeric-id":4094173,"id":"Q4094173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535368$DABB9AFD-BF94-442C-A06A-042F9812C3F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf437b46e7d0e1140b93fe76417dafc2165ab5d3","datavalue":{"value":{"entity-type":"item","numeric-id":4242055,"id":"Q4242055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535368$98451ADD-6D36-4CDE-B1D2-5C5073E54F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9c66413207853f9d30811252e18e0aab59b8a6e","datavalue":{"value":{"entity-type":"item","numeric-id":2171264,"id":"Q2171264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535368$32E5B3BC-9154-4E63-A49E-D310D7B113A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee9ea5eebc79d0ad5f376467c5067ade794866f2","datavalue":{"value":{"entity-type":"item","numeric-id":2571205,"id":"Q2571205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535368$0AF10A3F-F2A9-4248-BABC-D707C88E7F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad0b53867c88a73a7a906320d0a81056ca94fdd2","datavalue":{"value":{"entity-type":"item","numeric-id":4028812,"id":"Q4028812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535368$04E104BA-91CF-40D3-8011-3CA478404FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12eaf08266742406370a790bca62ffb2aaf03c4d","datavalue":{"value":{"entity-type":"item","numeric-id":5940718,"id":"Q5940718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535368$B4C94309-BD30-450A-97E6-F8B72305DBE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6b607439bd49e4fc2a082a1c7bb43dca878a78a","datavalue":{"value":{"entity-type":"item","numeric-id":1424928,"id":"Q1424928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535368$AC5476C1-E2FB-448D-9DBD-54D813871630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f29007ae237dba9b411c54f5973d9c25ee0f17a1","datavalue":{"value":{"entity-type":"item","numeric-id":1809364,"id":"Q1809364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535368$2DF6833D-75B4-43B9-9547-CA18E637D3CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e846d3030247c1554f762960dfa299863a39a1dd","datavalue":{"value":{"entity-type":"item","numeric-id":4413678,"id":"Q4413678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a56b2b4edf2ff510055612ae8800ef87d0ca393","datavalue":{"value":{"amount":"+0.7575114369392395","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":"Q3535368$31F29E71-58E6-4214-B82F-D9E556E71A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b55dace5da87253527c2e1525d6afc04b6c6e11f","datavalue":{"value":{"entity-type":"item","numeric-id":4028780,"id":"Q4028780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7902af4c0e34f69c389281865f72225c1d37b88","datavalue":{"value":{"amount":"+0.7158994078636169","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":"Q3535368$DF4E7183-4BD1-4407-BCE3-A34B44AAFBFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"282a1e05a37caa0bc77160d2518583e0ac6c8678","datavalue":{"value":{"entity-type":"item","numeric-id":3541697,"id":"Q3541697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7902af4c0e34f69c389281865f72225c1d37b88","datavalue":{"value":{"amount":"+0.7158994078636169","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":"Q3535368$10B02B8A-43B2-4641-B898-1C838E17BC30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99f1f3d002e7062e4e81cd176c435789114eb6ad","datavalue":{"value":{"entity-type":"item","numeric-id":3449231,"id":"Q3449231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c73defd9d40066ef2e5032507c9fec5a88bea07","datavalue":{"value":{"amount":"+0.7136518359184265","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":"Q3535368$63D5AC6C-D27D-447E-B0CD-C6A6DFE944EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c46a11460cb48420c120d6425007264ae7cac7c9","datavalue":{"value":{"entity-type":"item","numeric-id":3529381,"id":"Q3529381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33833659e0626fb3102954c885e8ecd63f8b0932","datavalue":{"value":{"amount":"+0.7109500765800476","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":"Q3535368$0CE03E89-AB40-4F9B-AA35-F14FBAAB5549","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3535368","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3535368"}}}}}